# -*- GAP -*-

e8p_graph :=
rec(
  graph := [ rec(
          adjacencies := [ [ 2, 21 ], [ 1, 3 ], [ 2, 4 ], [ 3, 5 ], [ 4, 6 ], [ 5, 7, 9 ], [ 6, 8 ], [ 7 ], [ 6 ], 
              [ 11, 21 ], [ 10, 12 ], [ 11, 13 ], [ 12, 14 ], [ 13, 15 ], [ 14, 16, 18 ], [ 15, 17 ], [ 16 ], [ 15 ], 
              [ 20 ], [ 19 ], [ 1, 10 ] ],
          autGroup := Group( [ (19,20), ( 1,10)( 2,11)( 3,12)( 4,13)( 5,14)( 6,15)( 7,16)( 8,17)( 9,18) ] ),
          forms := [ rec(
                  forms := [ [ "[2, 1, 2]" ] ],
                  h := 618 ) ],
          group := Group( [ () ] ),
          h := [ 618 ],
          info := rec(
              bipartite := true,
              distance_regular := false,
              girth := -1,
              pencils := [ [ 3, 2 ], [ 2, 13 ], [ 1, 6 ] ],
              regular := false,
              transitive := -1 ),
          isGraph := true,
          isSimple := true,
          names := [ 1, 2, 3, 4, 5, 6, 7, 8, 9, 10, 11, 12, 13, 14, 15, 16, 17, 18, 19, 20, 21 ],
          order := 21,
          real := [ 618 ],
          representatives := [ 1, 2, 3, 4, 5, 6, 7, 8, 9, 10, 11, 12, 13, 14, 15, 16, 17, 18, 19, 20, 21 ],
          schreierVector := [ -1, -2, -3, -4, -5, -6, -7, -8, -9, -10, -11, -12, -13, -14, -15, -16, -17, -18, -19, 
              -20, -21 ] ), rec(
          adjacencies := [ [ 2, 20 ], [ 1, 3 ], [ 2, 4 ], [ 3, 5 ], [ 4, 6 ], [ 5, 7, 9 ], [ 6, 8 ], [ 7 ], [ 6 ], 
              [ 11, 20 ], [ 10, 12 ], [ 11, 13 ], [ 12, 14 ], [ 13, 15 ], [ 14, 16, 18 ], [ 15, 17 ], [ 16 ], [ 15 ], 
              [  ], [ 1, 10 ] ],
          autGroup := Group( [ ( 1,10)( 2,11)( 3,12)( 4,13)( 5,14)( 6,15)( 7,16)( 8,17)( 9,18) ] ),
          forms := [ rec(
                  forms := 
                   [ [ "[2, 1, 616]", "[4, 1, 308]", "[8, 1, 154]", "[10, 3, 124]", "[14, 1, 88]", "[16, 7, 80]", 
                          "[20, 7, 64]", "[20, 3, 62]", "[22, 1, 56]", "[26, 11, 52]", "[28, 13, 50]", "[28, 1, 44]", 
                          "[32, 7, 40]", "[38, 17, 40]" ] ],
                  h := 4 ), rec(
                  forms := [ [ "[2, 1, 614]", "[6, 3, 206]" ] ],
                  h := 6 ), rec(
                  forms := 
                   [ [ "[2, 1, 612]", "[4, 1, 306]", "[6, 1, 204]", "[8, 3, 154]", "[12, 5, 104]", "[12, 1, 102]", 
                          "[14, 3, 88]", "[16, 5, 78]", "[18, 1, 68]", "[22, 3, 56]", "[24, 11, 56]", "[24, 5, 52]", 
                          "[26, 5, 48]", "[28, 11, 48]", "[28, 3, 44]", "[32, 11, 42]", "[34, 1, 36]", "[36, 17, 42]" 
                         ] ],
                  h := 8 ), rec(
                  forms := [ [ "[2, 1, 610]", "[26, 9, 50]" ] ],
                  h := 10 ), rec(
                  forms := [ [ "[2, 1, 608]", "[8, 1, 152]", "[18, 3, 68]", "[20, 5, 62]", "[32, 1, 38]" ], 
                      [ "[2, 1, 68]", "[8, 3, 18]" ] ],
                  h := 12 ), rec(
                  forms := [ [ "[2, 1, 606]", "[18, 7, 70]", "[30, 13, 46]", "[30, 7, 42]" ] ],
                  h := 14 ), rec(
                  forms := [ [ "[2, 1, 604]", "[4, 1, 302]", "[8, 3, 152]", "[16, 3, 76]", "[32, 3, 38]" ] ],
                  h := 16 ), rec(
                  forms := [ [ "[2, 1, 602]", "[14, 1, 86]" ] ],
                  h := 18 ), rec(
                  forms := 
                   [ [ "[2, 1, 600]", "[6, 1, 200]", "[8, 1, 150]", "[10, 1, 120]", "[18, 5, 68]", "[24, 7, 52]", 
                          "[24, 1, 50]", "[30, 11, 44]", "[30, 1, 40]", "[32, 9, 40]" ] ],
                  h := 20 ), rec(
                  forms := [ [ "[2, 1, 598]", "[10, 5, 122]", "[22, 9, 58]" ] ],
                  h := 22 ), rec(
                  forms := 
                   [ [ "[2, 1, 596]", "[6, 3, 200]", "[8, 3, 150]", "[20, 7, 62]", "[20, 3, 60]", "[24, 3, 50]", 
                          "[32, 5, 38]" ] ],
                  h := 24 ), rec(
                  forms := [ [ "[2, 1, 594]", "[6, 1, 198]", "[18, 1, 66]", "[22, 1, 54]", "[26, 3, 46]" ] ],
                  h := 26 ), rec(
                  forms := [ [ "[2, 1, 592]", "[8, 1, 148]", "[28, 7, 44]", "[32, 15, 44]" ] ],
                  h := 28 ), rec(
                  forms := [ [ "[2, 1, 590]", "[14, 5, 86]", "[26, 11, 50]" ], 
                      [ "[2, 1, 66]", "[6, 1, 22]", "[10, 3, 14]" ] ],
                  h := 30 ), rec(
                  forms := 
                   [ [ "[2, 1, 24]", "[4, 1, 12]", "[6, 1, 8]" ], 
                      [ "[2, 1, 588]", "[8, 3, 148]", "[12, 5, 100]", "[12, 1, 98]", "[18, 7, 68]", "[28, 13, 48]", 
                          "[28, 1, 42]", "[32, 13, 42]" ] ],
                  h := 32 ), rec(
                  forms := [ [ "[2, 1, 586]", "[10, 3, 118]", "[26, 5, 46]", "[34, 11, 38]" ] ],
                  h := 34 ), rec(
                  forms := 
                   [ [ "[2, 1, 584]", "[8, 1, 146]", "[12, 3, 98]", "[14, 3, 84]", "[26, 9, 48]", "[32, 7, 38]" ] ],
                  h := 36 ), rec(
                  forms := [ [ "[2, 1, 582]", "[6, 1, 194]", "[18, 5, 66]", "[22, 5, 54]" ] ],
                  h := 38 ), rec(
                  forms := [ [ "[2, 1, 580]", "[8, 3, 146]", "[10, 1, 116]", "[32, 11, 40]", "[38, 19, 40]" ] ],
                  h := 40 ), rec(
                  forms := [ [ "[2, 1, 578]" ] ],
                  h := 42 ), rec(
                  forms := 
                   [ [ "[2, 1, 576]", "[4, 1, 288]", "[6, 1, 192]", "[8, 1, 144]", "[10, 3, 116]", "[12, 5, 98]", 
                          "[12, 1, 96]", "[14, 5, 84]", "[16, 1, 72]", "[18, 1, 64]", "[20, 7, 60]", "[20, 3, 58]", 
                          "[22, 9, 56]", "[24, 7, 50]", "[24, 1, 48]", "[28, 9, 44]", "[28, 5, 42]", "[30, 13, 44]", 
                          "[30, 7, 40]", "[32, 1, 36]", "[36, 17, 40]" ] ],
                  h := 44 ), rec(
                  forms := [ [ "[2, 1, 574]", "[14, 1, 82]" ] ],
                  h := 46 ), rec(
                  forms := 
                   [ [ "[2, 1, 572]", "[8, 3, 144]", "[18, 9, 68]", "[26, 1, 44]", "[32, 3, 36]", "[36, 15, 38]" ], 
                      [ "[2, 1, 64]", "[4, 1, 32]", "[8, 1, 16]" ] ],
                  h := 48 ), rec(
                  forms := [ [ "[2, 1, 570]", "[18, 7, 66]", "[30, 11, 42]", "[30, 1, 38]", "[34, 17, 42]" ] ],
                  h := 50 ), rec(
                  forms := [ [ "[2, 1, 568]", "[8, 1, 142]", "[20, 5, 58]", "[22, 3, 52]", "[32, 9, 38]" ] ],
                  h := 52 ), rec(
                  forms := [ [ "[2, 1, 566]", "[26, 13, 50]" ] ],
                  h := 54 ), rec(
                  forms := 
                   [ [ "[2, 1, 12]", "[4, 1, 6]" ], 
                      [ "[2, 1, 564]", "[4, 1, 282]", "[8, 3, 142]", "[16, 5, 72]", "[18, 5, 64]", "[32, 5, 36]", 
                          "[36, 13, 36]" ] ],
                  h := 56 ), rec(
                  forms := [ [ "[2, 1, 562]", "[14, 5, 82]", "[34, 13, 38]" ] ],
                  h := 58 ), rec(
                  forms := 
                   [ [ "[2, 1, 560]", "[6, 3, 188]", "[8, 1, 140]", "[14, 1, 80]", "[20, 9, 60]", "[20, 1, 56]", 
                          "[24, 9, 50]", "[26, 5, 44]", "[32, 15, 42]" ] ],
                  h := 60 ), rec(
                  forms := [ [ "[2, 1, 558]", "[18, 1, 62]", "[30, 5, 38]" ] ],
                  h := 62 ), rec(
                  forms := 
                   [ [ "[2, 1, 556]", "[8, 3, 140]", "[10, 3, 112]", "[28, 11, 44]", "[28, 3, 40]", "[32, 13, 40]" ] ]
                   ,
                  h := 64 ), rec(
                  forms := [ [ "[2, 1, 554]", "[18, 3, 62]" ], [ "[2, 1, 62]" ] ],
                  h := 66 ), rec(
                  forms := 
                   [ [ "[2, 1, 552]", "[4, 1, 276]", "[6, 1, 184]", "[8, 1, 138]", "[12, 5, 94]", "[12, 1, 92]", 
                          "[16, 7, 72]", "[18, 7, 64]", "[24, 7, 48]", "[24, 1, 46]", "[32, 7, 36]", "[34, 11, 36]" ] 
                     ],
                  h := 68 ), rec(
                  forms := [ [ "[2, 1, 550]", "[22, 1, 50]" ] ],
                  h := 70 ), rec(
                  forms := [ [ "[2, 1, 548]", "[8, 3, 138]", "[12, 3, 92]", "[32, 11, 38]" ] ],
                  h := 72 ), rec(
                  forms := 
                   [ [ "[2, 1, 546]", "[6, 1, 182]", "[10, 3, 110]", "[14, 1, 78]", "[18, 5, 62]", "[22, 3, 50]", 
                          "[26, 1, 42]", "[30, 13, 42]", "[30, 7, 38]" ] ],
                  h := 74 ), rec(
                  forms := [ [ "[2, 1, 544]", "[4, 1, 272]", "[8, 1, 136]", "[16, 1, 68]", "[32, 1, 34]" ] ],
                  h := 76 ), rec(
                  forms := [ [ "[2, 1, 542]", "[14, 3, 78]" ] ],
                  h := 78 ), rec(
                  forms := 
                   [ [ "[2, 1, 540]", "[6, 1, 180]", "[8, 3, 136]", "[18, 1, 60]", "[20, 9, 58]", "[20, 1, 54]", 
                          "[24, 11, 50]", "[24, 5, 46]", "[32, 3, 34]" ] ],
                  h := 80 ), rec(
                  forms := [ [ "[2, 1, 22]" ], [ "[2, 1, 538]", "[22, 5, 50]" ] ],
                  h := 82 ), rec(
                  forms := [ [ "[2, 1, 536]", "[8, 1, 134]", "[32, 9, 36]" ], 
                      [ "[2, 1, 60]", "[4, 1, 30]", "[8, 3, 16]" ] ],
                  h := 84 ), rec(
                  forms := [ [ "[2, 1, 534]", "[6, 1, 178]", "[18, 7, 62]", "[22, 11, 54]" ] ],
                  h := 86 ), rec(
                  forms := 
                   [ [ "[2, 1, 532]", "[4, 1, 266]", "[8, 3, 134]", "[14, 1, 76]", "[16, 5, 68]", "[22, 9, 52]", 
                          "[26, 9, 44]", "[28, 13, 44]", "[28, 1, 38]", "[32, 5, 34]" ] ],
                  h := 88 ), rec(
                  forms := [ [ "[2, 1, 530]", "[30, 9, 38]" ] ],
                  h := 90 ), rec(
                  forms := 
                   [ [ "[2, 1, 528]", "[8, 1, 132]", "[10, 5, 108]", "[12, 5, 90]", "[12, 1, 88]", "[18, 5, 60]", 
                          "[22, 1, 48]", "[28, 11, 42]", "[28, 3, 38]", "[32, 15, 40]" ] ],
                  h := 92 ), rec(
                  forms := [ [ "[2, 1, 526]", "[10, 3, 106]", "[22, 7, 50]" ] ],
                  h := 94 ), rec(
                  forms := [ [ "[2, 1, 524]", "[6, 3, 176]", "[8, 3, 132]", "[24, 3, 44]", "[32, 13, 38]" ] ],
                  h := 96 ), rec(
                  forms := [ [ "[2, 1, 522]", "[14, 7, 78]", "[18, 1, 58]" ] ],
                  h := 98 ), rec(
                  forms := 
                   [ [ "[2, 1, 520]", "[4, 1, 260]", "[8, 1, 130]", "[10, 1, 104]", "[14, 5, 76]", "[16, 7, 68]", 
                          "[20, 9, 56]", "[20, 1, 52]", "[26, 1, 40]", "[28, 9, 40]", "[28, 5, 38]", "[32, 7, 34]" ] ]
                   ,
                  h := 100 ), rec(
                  forms := [ [ "[2, 1, 518]", "[18, 9, 62]" ], [ "[2, 1, 58]" ] ],
                  h := 102 ), rec(
                  forms := 
                   [ [ "[2, 1, 516]", "[4, 1, 258]", "[6, 1, 172]", "[8, 3, 130]", "[10, 3, 104]", "[12, 5, 88]", 
                          "[12, 1, 86]", "[16, 5, 66]", "[18, 7, 60]", "[20, 7, 54]", "[20, 3, 52]", "[22, 5, 48]", 
                          "[24, 11, 48]", "[24, 5, 44]", "[26, 3, 40]", "[30, 13, 40]", "[30, 7, 36]", "[32, 11, 36]" 
                         ] ],
                  h := 104 ), rec(
                  forms := [ [ "[2, 1, 514]", "[26, 13, 46]" ] ],
                  h := 106 ), rec(
                  forms := [ [ "[2, 1, 512]", "[8, 1, 128]", "[32, 1, 32]" ] ],
                  h := 108 ), rec(
                  forms := 
                   [ [ "[2, 1, 510]", "[6, 1, 170]", "[10, 1, 102]", "[18, 5, 58]", "[22, 9, 50]", "[30, 11, 38]", 
                          "[30, 1, 34]" ] ],
                  h := 110 ), rec(
                  forms := [ [ "[2, 1, 508]", "[8, 3, 128]", "[32, 3, 32]" ] ],
                  h := 112 ), rec(
                  forms := [ [ "[2, 1, 506]", "[6, 3, 170]", "[14, 5, 74]", "[26, 9, 42]" ] ],
                  h := 114 ), rec(
                  forms := 
                   [ [ "[2, 1, 504]", "[8, 1, 126]", "[12, 5, 86]", "[12, 1, 84]", "[14, 1, 72]", "[18, 1, 56]", 
                          "[22, 7, 48]", "[32, 9, 34]" ] ],
                  h := 116 ), rec(
                  forms := [ [ "[2, 1, 502]", "[34, 17, 38]" ] ],
                  h := 118 ), rec(
                  forms := 
                   [ [ "[2, 1, 500]", "[8, 3, 126]", "[14, 3, 72]", "[18, 3, 56]", "[20, 9, 54]", "[20, 1, 50]", 
                          "[32, 5, 32]" ], [ "[2, 1, 56]", "[6, 3, 20]", "[8, 1, 14]" ] ],
                  h := 120 ), rec(
                  forms := [ [ "[2, 1, 498]", "[10, 5, 102]", "[18, 7, 58]" ] ],
                  h := 122 ), rec(
                  forms := 
                   [ [ "[2, 1, 496]", "[4, 1, 248]", "[8, 1, 124]", "[10, 3, 100]", "[16, 1, 62]", "[20, 7, 52]", 
                          "[20, 3, 50]", "[26, 7, 40]", "[32, 15, 38]" ] ],
                  h := 124 ), rec(
                  forms := [ [ "[2, 1, 494]", "[14, 7, 74]" ] ],
                  h := 126 ), rec(
                  forms := 
                   [ [ "[2, 1, 492]", "[4, 1, 246]", "[6, 1, 164]", "[8, 3, 124]", "[12, 5, 84]", "[12, 1, 82]", 
                          "[14, 5, 72]", "[16, 3, 62]", "[18, 5, 56]", "[24, 11, 46]", "[24, 5, 42]", "[28, 9, 38]", 
                          "[28, 5, 36]", "[32, 13, 36]" ] ],
                  h := 128 ), rec(
                  forms := [ [ "[2, 1, 490]", "[10, 1, 98]", "[22, 11, 50]" ] ],
                  h := 130 ), rec(
                  forms := [ [ "[2, 1, 20]", "[6, 3, 8]" ], [ "[2, 1, 488]", "[8, 1, 122]", "[32, 7, 32]" ] ],
                  h := 132 ), rec(
                  forms := 
                   [ [ "[2, 1, 486]", "[6, 1, 162]", "[10, 3, 98]", "[14, 3, 70]", "[18, 1, 54]", "[26, 11, 42]", 
                          "[30, 13, 38]", "[30, 7, 34]" ] ],
                  h := 134 ), rec(
                  forms := 
                   [ [ "[2, 1, 484]", "[4, 1, 242]", "[8, 3, 122]", "[16, 5, 62]", "[22, 1, 44]", "[32, 11, 34]" ] ],
                  h := 136 ), rec(
                  forms := [ [ "[2, 1, 482]", "[26, 5, 38]" ], [ "[2, 1, 54]", "[6, 1, 18]" ] ],
                  h := 138 ), rec(
                  forms := 
                   [ [ "[2, 1, 480]", "[4, 1, 240]", "[8, 1, 120]", "[14, 7, 72]", "[16, 1, 60]", "[18, 7, 56]", 
                          "[22, 3, 44]", "[28, 7, 36]", "[30, 11, 36]", "[30, 1, 32]" ] ],
                  h := 140 ), rec(
                  forms := [ [ "[2, 1, 478]", "[10, 5, 98]" ] ],
                  h := 142 ), rec(
                  forms := 
                   [ [ "[2, 1, 476]", "[8, 3, 120]", "[12, 3, 80]", "[14, 1, 68]", "[20, 7, 50]", "[20, 3, 48]", 
                          "[30, 3, 32]" ] ],
                  h := 144 ), rec(
                  forms := [ [ "[2, 1, 474]", "[6, 1, 158]", "[18, 5, 54]" ] ],
                  h := 146 ), rec(
                  forms := [ [ "[2, 1, 472]", "[4, 1, 236]", "[8, 1, 118]", "[16, 7, 62]", "[32, 9, 32]" ] ],
                  h := 148 ), rec(
                  forms := [ [ "[2, 1, 470]", "[6, 3, 158]", "[26, 7, 38]" ] ],
                  h := 150 ), rec(
                  forms := [ [ "[2, 1, 468]", "[8, 3, 118]", "[18, 1, 52]", "[30, 5, 32]" ] ],
                  h := 152 ), rec(
                  forms := [ [ "[2, 1, 10]" ], [ "[2, 1, 466]", "[22, 9, 46]" ] ],
                  h := 154 ), rec(
                  forms := 
                   [ [ "[2, 1, 464]", "[8, 1, 116]", "[14, 5, 68]", "[18, 9, 56]", "[26, 3, 36]", "[32, 15, 36]" ], 
                      [ "[2, 1, 52]", "[4, 1, 26]", "[8, 3, 14]" ] ],
                  h := 156 ), rec(
                  forms := [ [ "[2, 1, 462]", "[6, 1, 154]", "[18, 7, 54]" ] ],
                  h := 158 ), rec(
                  forms := 
                   [ [ "[2, 1, 460]", "[4, 1, 230]", "[8, 3, 116]", "[10, 1, 92]", "[16, 3, 58]", "[20, 9, 50]", 
                          "[20, 1, 46]", "[22, 7, 44]", "[26, 11, 40]", "[32, 13, 34]" ] ],
                  h := 160 ), rec(
                  forms := [ [ "[2, 1, 458]", "[30, 15, 38]" ] ],
                  h := 162 ), rec(
                  forms := 
                   [ [ "[2, 1, 456]", "[4, 1, 228]", "[6, 1, 152]", "[8, 1, 114]", "[10, 3, 92]", "[12, 5, 78]", 
                          "[12, 1, 76]", "[16, 7, 60]", "[18, 5, 52]", "[20, 7, 48]", "[20, 3, 46]", "[24, 7, 40]", 
                          "[24, 1, 38]", "[26, 5, 36]", "[30, 13, 36]", "[30, 7, 32]" ] ],
                  h := 164 ), rec(
                  forms := [ [ "[2, 1, 454]", "[26, 9, 38]" ] ],
                  h := 166 ), rec(
                  forms := [ [ "[2, 1, 452]", "[8, 3, 114]", "[32, 11, 32]" ] ],
                  h := 168 ), rec(
                  forms := [ [ "[2, 1, 450]", "[10, 1, 90]", "[14, 5, 66]", "[18, 1, 50]" ] ],
                  h := 170 ), rec(
                  forms := [ [ "[2, 1, 448]", "[8, 1, 112]", "[10, 5, 92]", "[28, 13, 38]", "[28, 1, 32]" ] ],
                  h := 172 ), rec(
                  forms := [ [ "[2, 1, 446]", "[18, 3, 50]" ], [ "[2, 1, 50]" ], [ "[2, 1, 6]" ] ],
                  h := 174 ), rec(
                  forms := 
                   [ [ "[2, 1, 444]", "[4, 1, 222]", "[6, 1, 148]", "[8, 3, 112]", "[12, 5, 76]", "[12, 1, 74]", 
                          "[14, 3, 64]", "[16, 3, 56]", "[18, 7, 52]", "[22, 9, 44]", "[24, 11, 42]", "[24, 5, 38]", 
                          "[26, 7, 36]", "[28, 11, 36]", "[28, 3, 32]" ] ],
                  h := 176 ), rec(
                  forms := [ [ "[2, 1, 442]", "[26, 1, 34]" ] ],
                  h := 178 ), rec(
                  forms := 
                   [ [ "[2, 1, 440]", "[8, 1, 110]", "[12, 3, 74]", "[20, 9, 48]", "[20, 1, 44]", "[30, 9, 32]" ] ],
                  h := 180 ), rec(
                  forms := [ [ "[2, 1, 18]" ], [ "[2, 1, 438]", "[18, 5, 50]", "[22, 7, 42]" ] ],
                  h := 182 ), rec(
                  forms := 
                   [ [ "[2, 1, 436]", "[8, 3, 110]", "[20, 7, 46]", "[20, 3, 44]", "[28, 9, 34]", "[28, 5, 32]" ] ],
                  h := 184 ), rec(
                  forms := [ [ "[2, 1, 2]" ], [ "[2, 1, 434]", "[26, 11, 38]" ] ],
                  h := 186 ), rec(
                  forms := 
                   [ [ "[2, 1, 432]", "[4, 1, 216]", "[6, 1, 144]", "[8, 1, 108]", "[12, 5, 74]", "[12, 1, 72]", 
                          "[16, 1, 54]", "[18, 1, 48]", "[24, 7, 38]", "[24, 1, 36]", "[32, 15, 34]" ] ],
                  h := 188 ), rec(
                  forms := [ [ "[2, 1, 430]", "[10, 1, 86]", "[14, 3, 62]", "[26, 5, 34]" ] ],
                  h := 190 ), rec(
                  forms := [ [ "[2, 1, 428]", "[8, 3, 108]", "[32, 13, 32]" ], 
                      [ "[2, 1, 48]", "[8, 1, 12]", "[10, 5, 12]" ] ],
                  h := 192 ), rec(
                  forms := [ [ "[2, 1, 426]", "[6, 1, 142]", "[18, 7, 50]" ] ],
                  h := 194 ), rec(
                  forms := [ [ "[2, 1, 424]", "[8, 1, 106]", "[28, 7, 32]" ], [ "[2, 1, 4]" ] ],
                  h := 196 ), rec(
                  forms := [ [ "[2, 1, 422]", "[14, 5, 62]" ] ],
                  h := 198 ), rec(
                  forms := 
                   [ [ "[2, 1, 420]", "[4, 1, 210]", "[6, 1, 140]", "[8, 3, 106]", "[10, 1, 84]", "[12, 5, 72]", 
                          "[12, 1, 70]", "[14, 1, 60]", "[16, 5, 54]", "[18, 5, 48]", "[20, 9, 46]", "[20, 1, 42]", 
                          "[24, 11, 40]", "[24, 5, 36]", "[28, 13, 36]", "[28, 1, 30]", "[30, 11, 32]" ] ],
                  h := 200 ), rec(
                  forms := [ [ "[2, 1, 418]", "[22, 1, 38]" ] ],
                  h := 202 ), rec(
                  forms := 
                   [ [ "[2, 1, 416]", "[6, 3, 140]", "[8, 1, 104]", "[14, 3, 60]", "[20, 7, 44]", "[20, 3, 42]", 
                          "[24, 9, 38]", "[26, 1, 32]" ] ],
                  h := 204 ), rec(
                  forms := [ [ "[2, 1, 414]", "[6, 1, 138]", "[18, 1, 46]", "[22, 3, 38]" ] ],
                  h := 206 ), rec(
                  forms := [ [ "[2, 1, 412]", "[4, 1, 206]", "[8, 3, 104]", "[16, 3, 52]", "[26, 3, 32]" ] ],
                  h := 208 ), rec(
                  forms := [ [ "[2, 1, 410]", "[18, 9, 50]" ], [ "[2, 1, 46]" ] ],
                  h := 210 ), rec(
                  forms := 
                   [ [ "[2, 1, 408]", "[8, 1, 102]", "[12, 5, 70]", "[12, 1, 68]", "[18, 7, 48]", "[20, 5, 42]", 
                          "[28, 9, 32]", "[28, 5, 30]" ] ],
                  h := 212 ), rec(
                  forms := [ [ "[2, 1, 406]", "[10, 3, 82]", "[14, 1, 58]", "[22, 5, 38]" ] ],
                  h := 214 ), rec(
                  forms := [ [ "[2, 1, 404]", "[8, 3, 102]", "[12, 3, 68]", "[26, 5, 32]" ] ],
                  h := 216 ), rec(
                  forms := [ [ "[2, 1, 402]", "[6, 1, 134]", "[18, 5, 46]" ] ],
                  h := 218 ), rec(
                  forms := [ [ "[2, 1, 400]", "[4, 1, 200]", "[8, 1, 100]", "[16, 1, 50]", "[32, 15, 32]" ] ],
                  h := 220 ), rec(
                  forms := [ [ "[2, 1, 398]" ] ],
                  h := 222 ), rec(
                  forms := 
                   [ [ "[2, 1, 396]", "[4, 1, 198]", "[8, 3, 100]", "[14, 7, 60]", "[16, 3, 50]", "[18, 1, 44]", 
                          "[22, 1, 36]", "[28, 7, 30]", "[30, 13, 32]" ] ],
                  h := 224 ), rec(
                  forms := [ [ "[2, 1, 394]", "[14, 5, 58]", "[22, 7, 38]" ] ],
                  h := 226 ), rec(
                  forms := [ [ "[2, 1, 392]", "[8, 1, 98]", "[14, 1, 56]", "[18, 3, 44]", "[26, 7, 32]" ], 
                      [ "[2, 1, 44]", "[8, 3, 12]" ] ],
                  h := 228 ), rec(
                  forms := [ [ "[2, 1, 390]", "[10, 1, 78]", "[18, 7, 46]" ] ],
                  h := 230 ), rec(
                  forms := 
                   [ [ "[2, 1, 16]", "[4, 1, 8]" ], [ "[2, 1, 388]", "[8, 3, 98]", "[28, 11, 32]", "[28, 3, 28]" ] ],
                  h := 232 ), rec(
                  forms := [ [ "[2, 1, 386]", "[26, 3, 30]" ] ],
                  h := 234 ), rec(
                  forms := 
                   [ [ "[2, 1, 384]", "[6, 1, 128]", "[8, 1, 96]", "[18, 5, 44]", "[24, 7, 34]", "[24, 1, 32]" ] ],
                  h := 236 ), rec(
                  forms := [ [ "[2, 1, 382]", "[14, 7, 58]" ] ],
                  h := 238 ), rec(
                  forms := [ [ "[2, 1, 380]", "[6, 3, 128]", "[8, 3, 96]", "[24, 3, 32]" ] ],
                  h := 240 ), rec(
                  forms := [ [ "[2, 1, 378]", "[10, 5, 78]", "[18, 1, 42]", "[22, 9, 38]" ] ],
                  h := 242 ), rec(
                  forms := 
                   [ [ "[2, 1, 376]", "[4, 1, 188]", "[8, 1, 94]", "[10, 3, 76]", "[16, 7, 50]", "[20, 7, 40]", 
                          "[20, 3, 38]", "[26, 9, 32]" ] ],
                  h := 244 ), rec(
                  forms := [ [ "[2, 1, 374]", "[14, 3, 54]" ], [ "[2, 1, 42]", "[6, 1, 14]" ] ],
                  h := 246 ), rec(
                  forms := 
                   [ [ "[2, 1, 372]", "[4, 1, 186]", "[6, 1, 124]", "[8, 3, 94]", "[12, 5, 64]", "[12, 1, 62]", 
                          "[16, 5, 48]", "[18, 7, 44]", "[22, 7, 36]", "[24, 11, 36]", "[24, 5, 32]" ] ],
                  h := 248 ), rec(
                  forms := [ [ "[2, 1, 370]", "[10, 1, 74]", "[22, 3, 34]" ] ],
                  h := 250 ), rec(
                  forms := [ [ "[2, 1, 368]", "[8, 1, 92]", "[30, 15, 32]" ], [ "[2, 1, 8]" ] ],
                  h := 252 ), rec(
                  forms := [ [ "[2, 1, 366]", "[18, 5, 42]", "[26, 7, 30]", "[30, 13, 30]" ] ],
                  h := 254 ), rec(
                  forms := 
                   [ [ "[2, 1, 364]", "[4, 1, 182]", "[8, 3, 92]", "[14, 1, 52]", "[16, 3, 46]", "[26, 1, 28]", 
                          "[28, 13, 32]" ] ],
                  h := 256 ), rec(
                  forms := [ [ "[2, 1, 362]", "[6, 3, 122]" ] ],
                  h := 258 ), rec(
                  forms := 
                   [ [ "[2, 1, 360]", "[4, 1, 180]", "[6, 1, 120]", "[8, 1, 90]", "[10, 1, 72]", "[12, 5, 62]", 
                          "[12, 1, 60]", "[14, 3, 52]", "[16, 7, 48]", "[18, 1, 40]", "[20, 9, 40]", "[20, 1, 36]", 
                          "[24, 7, 32]", "[24, 1, 30]", "[26, 3, 28]", "[28, 11, 30]" ] ],
                  h := 260 ), rec(
                  forms := [ [ "[2, 1, 358]" ] ],
                  h := 262 ), rec(
                  forms := 
                   [ [ "[2, 1, 356]", "[8, 3, 90]", "[18, 9, 44]", "[20, 7, 38]", "[20, 3, 36]", "[26, 11, 32]" ], 
                      [ "[2, 1, 40]", "[4, 1, 20]", "[8, 1, 10]" ] ],
                  h := 264 ), rec(
                  forms := [ [ "[2, 1, 354]", "[18, 7, 42]" ] ],
                  h := 266 ), rec(
                  forms := [ [ "[2, 1, 352]", "[8, 1, 88]", "[14, 5, 52]", "[22, 1, 32]" ] ],
                  h := 268 ), rec(
                  forms := [ [ "[2, 1, 350]", "[14, 1, 50]", "[26, 9, 30]" ] ],
                  h := 270 ), rec(
                  forms := 
                   [ [ "[2, 1, 348]", "[8, 3, 88]", "[10, 5, 72]", "[12, 5, 60]", "[12, 1, 58]", "[18, 5, 40]", 
                          "[22, 3, 32]" ] ],
                  h := 272 ), rec(
                  forms := [ [ "[2, 1, 346]", "[10, 3, 70]", "[14, 3, 50]" ] ],
                  h := 274 ), rec(
                  forms := [ [ "[2, 1, 344]", "[6, 3, 116]", "[8, 1, 86]", "[24, 9, 32]" ] ],
                  h := 276 ), rec(
                  forms := [ [ "[2, 1, 342]", "[6, 1, 114]", "[18, 1, 38]" ] ],
                  h := 278 ), rec(
                  forms := [ [ "[2, 1, 340]", "[4, 1, 170]", "[8, 3, 86]", "[16, 5, 44]", "[22, 5, 32]" ] ],
                  h := 280 ), rec(
                  forms := [ [ "[2, 1, 14]" ], [ "[2, 1, 2]" ], [ "[2, 1, 338]", "[18, 3, 38]" ], [ "[2, 1, 38]" ] ],
                  h := 282 ), rec(
                  forms := 
                   [ [ "[2, 1, 336]", "[6, 1, 112]", "[8, 1, 84]", "[10, 3, 68]", "[18, 7, 40]", "[24, 7, 30]", 
                          "[24, 1, 28]", "[28, 13, 30]" ] ],
                  h := 284 ), rec(
                  forms := [ [ "[2, 1, 334]", "[26, 3, 26]" ] ],
                  h := 286 ), rec(
                  forms := [ [ "[2, 1, 332]", "[8, 3, 84]", "[26, 13, 32]" ] ],
                  h := 288 ), rec(
                  forms := 
                   [ [ "[2, 1, 330]", "[6, 1, 110]", "[10, 1, 66]", "[18, 5, 38]", "[22, 1, 30]", "[26, 11, 30]" ] ],
                  h := 290 ), rec(
                  forms := [ [ "[2, 1, 328]", "[8, 1, 82]", "[10, 5, 68]", "[22, 7, 32]" ] ],
                  h := 292 ), rec(
                  forms := [ [ "[2, 1, 326]", "[14, 7, 50]" ] ],
                  h := 294 ), rec(
                  forms := 
                   [ [ "[2, 1, 324]", "[4, 1, 162]", "[6, 1, 108]", "[8, 3, 82]", "[12, 5, 56]", "[12, 1, 54]", 
                          "[14, 5, 48]", "[16, 5, 42]", "[18, 1, 36]", "[24, 11, 32]", "[24, 5, 28]", "[26, 9, 28]" ] 
                     ],
                  h := 296 ), rec(
                  forms := [ [ "[2, 1, 322]", "[14, 1, 46]" ] ],
                  h := 298 ), rec(
                  forms := [ [ "[2, 1, 320]", "[8, 1, 80]", "[20, 9, 36]", "[20, 1, 32]" ], 
                      [ "[2, 1, 36]", "[4, 1, 18]", "[6, 1, 12]", "[8, 3, 10]" ] ],
                  h := 300 ), rec(
                  forms := [ [ "[2, 1, 318]", "[18, 7, 38]", "[22, 5, 30]" ] ],
                  h := 302 ), rec(
                  forms := 
                   [ [ "[2, 1, 316]", "[4, 1, 158]", "[8, 3, 80]", "[10, 3, 64]", "[16, 3, 40]", "[20, 7, 34]", 
                          "[20, 3, 32]" ] ],
                  h := 304 ), rec(
                  forms := [ [ "[2, 1, 314]" ] ],
                  h := 306 ), rec(
                  forms := 
                   [ [ "[2, 1, 312]", "[4, 1, 156]", "[8, 1, 78]", "[16, 7, 42]", "[18, 5, 36]", "[22, 9, 32]" ] ],
                  h := 308 ), rec(
                  forms := [ [ "[2, 1, 310]", "[10, 1, 62]", "[14, 5, 46]" ] ],
                  h := 310 ), rec(
                  forms := [ [ "[2, 1, 308]", "[8, 3, 78]", "[20, 5, 32]" ] ],
                  h := 312 ), rec(
                  forms := [ [ "[2, 1, 306]", "[6, 1, 102]", "[18, 1, 34]" ] ],
                  h := 314 ), rec(
                  forms := 
                   [ [ "[2, 1, 304]", "[4, 1, 152]", "[8, 1, 76]", "[14, 3, 44]", "[16, 1, 38]", "[22, 3, 28]", 
                          "[26, 11, 28]" ] ],
                  h := 316 ), rec(
                  forms := [ [ "[2, 1, 302]", "[18, 9, 38]" ], [ "[2, 1, 34]" ] ],
                  h := 318 ), rec(
                  forms := 
                   [ [ "[2, 1, 300]", "[4, 1, 150]", "[6, 1, 100]", "[8, 3, 76]", "[10, 1, 60]", "[12, 5, 52]", 
                          "[12, 1, 50]", "[16, 3, 38]", "[18, 7, 36]", "[20, 9, 34]", "[20, 1, 30]", "[24, 11, 30]", 
                          "[24, 5, 26]" ] ],
                  h := 320 ), rec(
                  forms := [ [ "[2, 1, 298]" ] ],
                  h := 322 ), rec(
                  forms := 
                   [ [ "[2, 1, 296]", "[8, 1, 74]", "[12, 3, 50]", "[14, 5, 44]", "[20, 7, 32]", "[20, 3, 30]" ] ],
                  h := 324 ), rec(
                  forms := [ [ "[2, 1, 294]", "[6, 1, 98]", "[14, 1, 42]", "[18, 5, 34]" ] ],
                  h := 326 ), rec(
                  forms := [ [ "[2, 1, 292]", "[8, 3, 74]", "[22, 11, 32]" ] ],
                  h := 328 ), rec(
                  forms := [ [ "[2, 1, 290]", "[6, 3, 98]", "[14, 3, 42]" ] ],
                  h := 330 ), rec(
                  forms := 
                   [ [ "[2, 1, 12]", "[4, 1, 6]" ], 
                      [ "[2, 1, 288]", "[8, 1, 72]", "[12, 5, 50]", "[12, 1, 48]", "[18, 1, 32]" ] ],
                  h := 332 ), rec(
                  forms := [ [ "[2, 1, 286]", "[10, 3, 58]", "[22, 1, 26]" ] ],
                  h := 334 ), rec(
                  forms := [ [ "[2, 1, 284]", "[8, 3, 72]", "[14, 7, 44]", "[18, 3, 32]" ], 
                      [ "[2, 1, 32]", "[8, 1, 8]" ], [ "[2, 1, 4]" ] ],
                  h := 336 ), rec(
                  forms := [ [ "[2, 1, 282]", "[6, 1, 94]", "[14, 5, 42]", "[18, 7, 34]", "[22, 3, 26]" ] ],
                  h := 338 ), rec(
                  forms := [ [ "[2, 1, 280]", "[8, 1, 70]", "[20, 9, 32]", "[20, 1, 28]", "[26, 13, 28]" ] ],
                  h := 340 ), rec(
                  forms := [ [ "[2, 1, 278]" ] ],
                  h := 342 ), rec(
                  forms := 
                   [ [ "[2, 1, 276]", "[8, 3, 70]", "[10, 3, 56]", "[12, 5, 48]", "[12, 1, 46]", "[14, 3, 40]", 
                          "[18, 5, 32]" ] ],
                  h := 344 ), rec(
                  forms := [ [ "[2, 1, 274]", "[22, 5, 26]" ] ],
                  h := 346 ), rec(
                  forms := [ [ "[2, 1, 272]", "[6, 3, 92]", "[8, 1, 68]", "[24, 9, 26]" ] ],
                  h := 348 ), rec(
                  forms := [ [ "[2, 1, 270]", "[18, 1, 30]", "[22, 11, 30]" ], [ "[2, 1, 6]" ] ],
                  h := 350 ), rec(
                  forms := [ [ "[2, 1, 268]", "[8, 3, 68]", "[20, 5, 28]", "[22, 9, 28]" ] ],
                  h := 352 ), rec(
                  forms := [ [ "[2, 1, 266]", "[14, 1, 38]" ], [ "[2, 1, 30]", "[6, 1, 10]" ] ],
                  h := 354 ), rec(
                  forms := [ [ "[2, 1, 264]", "[4, 1, 132]", "[8, 1, 66]", "[16, 7, 36]", "[18, 7, 32]" ] ],
                  h := 356 ), rec(
                  forms := [ [ "[2, 1, 262]", "[14, 3, 38]", "[22, 7, 26]" ] ],
                  h := 358 ), rec(
                  forms := [ [ "[2, 1, 260]", "[8, 3, 66]", "[12, 3, 44]", "[20, 9, 30]", "[20, 1, 26]" ] ],
                  h := 360 ), rec(
                  forms := [ [ "[2, 1, 258]", "[18, 5, 30]" ] ],
                  h := 362 ), rec(
                  forms := [ [ "[2, 1, 256]", "[4, 1, 128]", "[8, 1, 64]", "[16, 1, 32]" ] ],
                  h := 364 ), rec(
                  forms := [ [ "[2, 1, 254]", "[6, 3, 86]" ], [ "[2, 1, 2]" ] ],
                  h := 366 ), rec(
                  forms := 
                   [ [ "[2, 1, 252]", "[4, 1, 126]", "[6, 1, 84]", "[8, 3, 64]", "[12, 5, 44]", "[12, 1, 42]", 
                          "[14, 1, 36]", "[16, 3, 32]", "[18, 1, 28]", "[22, 5, 24]", "[24, 11, 26]" ] ],
                  h := 368 ), rec(
                  forms := [ [ "[2, 1, 250]", "[10, 1, 50]" ] ],
                  h := 370 ), rec(
                  forms := [ [ "[2, 1, 248]", "[8, 1, 62]", "[18, 9, 32]" ], [ "[2, 1, 28]", "[8, 3, 8]" ] ],
                  h := 372 ), rec(
                  forms := [ [ "[2, 1, 246]", "[6, 1, 82]", "[10, 3, 50]", "[18, 7, 30]", "[22, 9, 26]" ] ],
                  h := 374 ), rec(
                  forms := [ [ "[2, 1, 244]", "[4, 1, 122]", "[8, 3, 62]", "[16, 5, 32]" ] ],
                  h := 376 ), rec(
                  forms := [ [ "[2, 1, 242]" ] ],
                  h := 378 ), rec(
                  forms := 
                   [ [ "[2, 1, 240]", "[4, 1, 120]", "[6, 1, 80]", "[8, 1, 60]", "[10, 1, 48]", "[12, 5, 42]", 
                          "[12, 1, 40]", "[14, 5, 36]", "[16, 1, 30]", "[18, 5, 28]", "[20, 9, 28]", "[20, 1, 24]", 
                          "[22, 7, 24]" ] ],
                  h := 380 ), rec(
                  forms := [ [ "[2, 1, 10]" ], [ "[2, 1, 238]", "[22, 3, 22]" ] ],
                  h := 382 ), rec(
                  forms := [ [ "[2, 1, 236]", "[6, 3, 80]", "[8, 3, 60]", "[20, 7, 26]", "[20, 3, 24]" ] ],
                  h := 384 ), rec(
                  forms := [ [ "[2, 1, 234]", "[6, 1, 78]", "[14, 3, 34]", "[18, 1, 26]" ] ],
                  h := 386 ), rec(
                  forms := [ [ "[2, 1, 232]", "[4, 1, 116]", "[8, 1, 58]", "[16, 7, 32]" ] ],
                  h := 388 ), rec(
                  forms := [ [ "[2, 1, 230]", "[18, 3, 26]" ], [ "[2, 1, 26]" ] ],
                  h := 390 ), rec(
                  forms := [ [ "[2, 1, 228]", "[8, 3, 58]", "[18, 7, 28]" ] ],
                  h := 392 ), rec(
                  forms := [ [ "[2, 1, 226]", "[10, 3, 46]" ] ],
                  h := 394 ), rec(
                  forms := [ [ "[2, 1, 224]", "[8, 1, 56]", "[12, 3, 38]", "[14, 1, 32]" ] ],
                  h := 396 ), rec(
                  forms := [ [ "[2, 1, 222]", "[6, 1, 74]", "[18, 5, 26]" ] ],
                  h := 398 ), rec(
                  forms := 
                   [ [ "[2, 1, 220]", "[4, 1, 110]", "[8, 3, 56]", "[10, 1, 44]", "[14, 3, 32]", "[16, 3, 28]", 
                          "[20, 9, 26]", "[20, 1, 22]" ] ],
                  h := 400 ), rec(
                  forms := [ [ "[2, 1, 218]" ] ],
                  h := 402 ), rec(
                  forms := 
                   [ [ "[2, 1, 216]", "[4, 1, 108]", "[6, 1, 72]", "[8, 1, 54]", "[10, 3, 44]", "[12, 5, 38]", 
                          "[12, 1, 36]", "[16, 7, 30]", "[18, 1, 24]", "[20, 7, 24]", "[20, 3, 22]" ] ],
                  h := 404 ), rec(
                  forms := [ [ "[2, 1, 214]" ] ],
                  h := 406 ), rec(
                  forms := [ [ "[2, 1, 212]", "[8, 3, 54]", "[14, 5, 32]" ], 
                      [ "[2, 1, 24]", "[4, 1, 12]", "[6, 1, 8]" ] ],
                  h := 408 ), rec(
                  forms := [ [ "[2, 1, 210]", "[6, 1, 70]", "[10, 1, 42]", "[14, 1, 30]", "[18, 7, 26]" ] ],
                  h := 410 ), rec(
                  forms := [ [ "[2, 1, 208]", "[8, 1, 52]", "[20, 5, 22]" ] ],
                  h := 412 ), rec(
                  forms := [ [ "[2, 1, 206]", "[14, 3, 30]" ] ],
                  h := 414 ), rec(
                  forms := [ [ "[2, 1, 204]", "[6, 1, 68]", "[8, 3, 52]", "[18, 5, 24]", "[22, 11, 24]" ] ],
                  h := 416 ), rec(
                  forms := [ [ "[2, 1, 202]" ] ],
                  h := 418 ), rec(
                  forms := [ [ "[2, 1, 200]", "[8, 1, 50]", "[14, 7, 32]" ] ],
                  h := 420 ), rec(
                  forms := [ [ "[2, 1, 198]", "[10, 5, 42]", "[18, 1, 22]" ] ],
                  h := 422 ), rec(
                  forms := [ [ "[2, 1, 196]", "[4, 1, 98]", "[8, 3, 50]", "[16, 5, 26]" ] ],
                  h := 424 ), rec(
                  forms := [ [ "[2, 1, 194]", "[18, 9, 26]" ], [ "[2, 1, 22]" ] ],
                  h := 426 ), rec(
                  forms := 
                   [ [ "[2, 1, 192]", "[4, 1, 96]", "[6, 1, 64]", "[8, 1, 48]", "[12, 5, 34]", "[12, 1, 32]", 
                          "[14, 3, 28]", "[16, 1, 24]", "[18, 7, 24]" ] ],
                  h := 428 ), rec(
                  forms := [ [ "[2, 1, 190]", "[10, 1, 38]" ] ],
                  h := 430 ), rec(
                  forms := [ [ "[2, 1, 188]", "[8, 3, 48]", "[12, 3, 32]" ], [ "[2, 1, 8]" ] ],
                  h := 432 ), rec(
                  forms := [ [ "[2, 1, 186]", "[14, 7, 30]", "[18, 5, 22]" ] ],
                  h := 434 ), rec(
                  forms := [ [ "[2, 1, 184]", "[4, 1, 92]", "[8, 1, 46]", "[14, 5, 28]", "[16, 7, 26]" ] ],
                  h := 436 ), rec(
                  forms := [ [ "[2, 1, 182]", "[6, 3, 62]" ], [ "[2, 1, 2]" ] ],
                  h := 438 ), rec(
                  forms := 
                   [ [ "[2, 1, 180]", "[4, 1, 90]", "[6, 1, 60]", "[8, 3, 46]", "[10, 1, 36]", "[12, 5, 32]", 
                          "[12, 1, 30]", "[16, 5, 24]", "[18, 1, 20]", "[20, 9, 22]" ] ],
                  h := 440 ), rec(
                  forms := [ [ "[2, 1, 178]", "[10, 5, 38]" ] ],
                  h := 442 ), rec(
                  forms := [ [ "[2, 1, 176]", "[8, 1, 44]", "[18, 3, 20]", "[20, 7, 20]" ], 
                      [ "[2, 1, 20]", "[6, 3, 8]" ] ],
                  h := 444 ), rec(
                  forms := [ [ "[2, 1, 174]", "[6, 1, 58]", "[18, 7, 22]" ] ],
                  h := 446 ), rec(
                  forms := [ [ "[2, 1, 172]", "[4, 1, 86]", "[8, 3, 44]", "[16, 3, 22]" ], [ "[2, 1, 4]" ] ],
                  h := 448 ), rec(
                  forms := [ [ "[2, 1, 170]", "[14, 5, 26]" ] ],
                  h := 450 ), rec(
                  forms := [ [ "[2, 1, 168]", "[8, 1, 42]", "[12, 5, 30]", "[12, 1, 28]", "[18, 5, 20]" ] ],
                  h := 452 ), rec(
                  forms := [ [ "[2, 1, 166]", "[10, 3, 34]" ] ],
                  h := 454 ), rec(
                  forms := [ [ "[2, 1, 164]", "[6, 3, 56]", "[8, 3, 42]", "[14, 3, 24]" ] ],
                  h := 456 ), rec(
                  forms := [ [ "[2, 1, 162]", "[18, 1, 18]" ] ],
                  h := 458 ), rec(
                  forms := [ [ "[2, 1, 160]", "[8, 1, 40]", "[10, 1, 32]" ] ],
                  h := 460 ), rec(
                  forms := [ [ "[2, 1, 158]" ], [ "[2, 1, 18]" ] ],
                  h := 462 ), rec(
                  forms := 
                   [ [ "[2, 1, 156]", "[4, 1, 78]", "[6, 1, 52]", "[8, 3, 40]", "[10, 3, 32]", "[12, 5, 28]", 
                          "[12, 1, 26]", "[14, 5, 24]", "[16, 3, 20]", "[18, 7, 20]" ] ],
                  h := 464 ), rec(
                  forms := [ [ "[2, 1, 154]", "[14, 1, 22]" ] ],
                  h := 466 ), rec(
                  forms := [ [ "[2, 1, 152]", "[8, 1, 38]", "[12, 3, 26]" ] ],
                  h := 468 ), rec(
                  forms := [ [ "[2, 1, 150]", "[6, 1, 50]", "[18, 5, 18]" ] ],
                  h := 470 ), rec(
                  forms := [ [ "[2, 1, 148]", "[8, 3, 38]", "[10, 5, 32]" ] ],
                  h := 472 ), rec(
                  forms := [ [ "[2, 1, 146]", "[6, 3, 50]" ] ],
                  h := 474 ), rec(
                  forms := [ [ "[2, 1, 144]", "[4, 1, 72]", "[8, 1, 36]", "[16, 1, 18]" ] ],
                  h := 476 ), rec(
                  forms := [ [ "[2, 1, 142]", "[14, 5, 22]" ] ],
                  h := 478 ), rec(
                  forms := [ [ "[2, 1, 140]", "[8, 3, 36]", "[14, 1, 20]", "[18, 9, 20]" ], 
                      [ "[2, 1, 16]", "[4, 1, 8]" ] ],
                  h := 480 ), rec(
                  forms := [ [ "[2, 1, 138]", "[18, 7, 18]" ], [ "[2, 1, 6]" ] ],
                  h := 482 ), rec(
                  forms := 
                   [ [ "[2, 1, 136]", "[4, 1, 68]", "[8, 1, 34]", "[10, 3, 28]", "[14, 3, 20]", "[16, 7, 20]" ] ],
                  h := 484 ), rec(
                  forms := [ [ "[2, 1, 134]" ] ],
                  h := 486 ), rec(
                  forms := 
                   [ [ "[2, 1, 132]", "[4, 1, 66]", "[6, 1, 44]", "[8, 3, 34]", "[12, 5, 24]", "[12, 1, 22]", 
                          "[16, 5, 18]" ] ],
                  h := 488 ), rec(
                  forms := [ [ "[2, 1, 130]", "[14, 7, 22]" ] ],
                  h := 490 ), rec(
                  forms := [ [ "[2, 1, 128]", "[8, 1, 32]" ] ],
                  h := 492 ), rec(
                  forms := [ [ "[2, 1, 126]", "[6, 1, 42]", "[10, 3, 26]", "[14, 1, 18]" ] ],
                  h := 494 ), rec(
                  forms := [ [ "[2, 1, 124]", "[8, 3, 32]" ] ],
                  h := 496 ), rec(
                  forms := [ [ "[2, 1, 122]", "[14, 3, 18]" ], [ "[2, 1, 14]" ], [ "[2, 1, 2]" ] ],
                  h := 498 ), rec(
                  forms := 
                   [ [ "[2, 1, 120]", "[4, 1, 60]", "[6, 1, 40]", "[8, 1, 30]", "[10, 1, 24]", "[12, 5, 22]", 
                          "[12, 1, 20]", "[16, 7, 18]" ] ],
                  h := 500 ), rec(
                  forms := [ [ "[2, 1, 118]" ] ],
                  h := 502 ), rec(
                  forms := [ [ "[2, 1, 116]", "[8, 3, 30]" ] ],
                  h := 504 ), rec(
                  forms := [ [ "[2, 1, 114]", "[6, 1, 38]", "[14, 5, 18]" ] ],
                  h := 506 ), rec(
                  forms := [ [ "[2, 1, 112]", "[4, 1, 56]", "[8, 1, 28]", "[14, 1, 16]" ] ],
                  h := 508 ), rec(
                  forms := [ [ "[2, 1, 110]", "[6, 3, 38]" ] ],
                  h := 510 ), rec(
                  forms := [ [ "[2, 1, 108]", "[8, 3, 28]", "[12, 5, 20]", "[12, 1, 18]" ] ],
                  h := 512 ), rec(
                  forms := [ [ "[2, 1, 106]", "[10, 3, 22]" ] ],
                  h := 514 ), rec(
                  forms := [ [ "[2, 1, 104]", "[8, 1, 26]" ], [ "[2, 1, 12]", "[4, 1, 6]" ] ],
                  h := 516 ), rec(
                  forms := [ [ "[2, 1, 102]", "[14, 7, 18]" ] ],
                  h := 518 ), rec(
                  forms := [ [ "[2, 1, 100]", "[4, 1, 50]", "[8, 3, 26]", "[10, 1, 20]", "[14, 5, 16]" ] ],
                  h := 520 ), rec(
                  forms := [ [ "[2, 1, 98]" ] ],
                  h := 522 ), rec(
                  forms := 
                   [ [ "[2, 1, 96]", "[4, 1, 48]", "[6, 1, 32]", "[8, 1, 24]", "[10, 3, 20]", "[12, 5, 18]", 
                          "[12, 1, 16]" ] ],
                  h := 524 ), rec(
                  forms := [ [ "[2, 1, 94]" ] ],
                  h := 526 ), rec(
                  forms := [ [ "[2, 1, 92]", "[6, 3, 32]", "[8, 3, 24]" ] ],
                  h := 528 ), rec(
                  forms := [ [ "[2, 1, 90]", "[6, 1, 30]", "[10, 1, 18]" ] ],
                  h := 530 ), rec(
                  forms := [ [ "[2, 1, 4]" ], [ "[2, 1, 88]", "[8, 1, 22]" ] ],
                  h := 532 ), rec(
                  forms := [ [ "[2, 1, 10]" ], [ "[2, 1, 86]", "[14, 5, 14]" ] ],
                  h := 534 ), rec(
                  forms := [ [ "[2, 1, 84]", "[4, 1, 42]", "[6, 1, 28]", "[8, 3, 22]", "[12, 5, 16]", "[12, 1, 14]" ] 
                     ],
                  h := 536 ), rec(
                  forms := [ [ "[2, 1, 82]" ] ],
                  h := 538 ), rec(
                  forms := [ [ "[2, 1, 80]", "[8, 1, 20]", "[12, 3, 14]" ] ],
                  h := 540 ), rec(
                  forms := [ [ "[2, 1, 78]", "[10, 5, 18]" ] ],
                  h := 542 ), rec(
                  forms := [ [ "[2, 1, 76]", "[4, 1, 38]", "[8, 3, 20]", "[10, 3, 16]" ] ],
                  h := 544 ), rec(
                  forms := [ [ "[2, 1, 2]" ], [ "[2, 1, 74]" ] ],
                  h := 546 ), rec(
                  forms := [ [ "[2, 1, 72]", "[6, 1, 24]", "[8, 1, 18]" ] ],
                  h := 548 ), rec(
                  forms := [ [ "[2, 1, 70]", "[10, 1, 14]" ] ],
                  h := 550 ), rec(
                  forms := [ [ "[2, 1, 68]", "[8, 3, 18]" ], [ "[2, 1, 8]" ] ],
                  h := 552 ), rec(
                  forms := [ [ "[2, 1, 66]", "[6, 1, 22]", "[10, 3, 14]" ] ],
                  h := 554 ), rec(
                  forms := [ [ "[2, 1, 64]", "[4, 1, 32]", "[8, 1, 16]" ] ],
                  h := 556 ), rec(
                  forms := [ [ "[2, 1, 62]" ] ],
                  h := 558 ), rec(
                  forms := [ [ "[2, 1, 60]", "[4, 1, 30]", "[8, 3, 16]" ] ],
                  h := 560 ), rec(
                  forms := [ [ "[2, 1, 58]" ] ],
                  h := 562 ), rec(
                  forms := [ [ "[2, 1, 56]", "[6, 3, 20]", "[8, 1, 14]" ] ],
                  h := 564 ), rec(
                  forms := [ [ "[2, 1, 54]", "[6, 1, 18]" ] ],
                  h := 566 ), rec(
                  forms := [ [ "[2, 1, 52]", "[4, 1, 26]", "[8, 3, 14]" ] ],
                  h := 568 ), rec(
                  forms := [ [ "[2, 1, 50]" ], [ "[2, 1, 6]" ] ],
                  h := 570 ), rec(
                  forms := [ [ "[2, 1, 48]", "[8, 1, 12]", "[10, 5, 12]" ] ],
                  h := 572 ), rec(
                  forms := [ [ "[2, 1, 46]" ] ],
                  h := 574 ), rec(
                  forms := [ [ "[2, 1, 44]", "[8, 3, 12]" ] ],
                  h := 576 ), rec(
                  forms := [ [ "[2, 1, 42]", "[6, 1, 14]" ] ],
                  h := 578 ), rec(
                  forms := [ [ "[2, 1, 40]", "[4, 1, 20]", "[8, 1, 10]" ] ],
                  h := 580 ), rec(
                  forms := [ [ "[2, 1, 2]" ], [ "[2, 1, 38]" ] ],
                  h := 582 ), rec(
                  forms := [ [ "[2, 1, 36]", "[4, 1, 18]", "[6, 1, 12]", "[8, 3, 10]" ] ],
                  h := 584 ), rec(
                  forms := [ [ "[2, 1, 34]" ] ],
                  h := 586 ), rec(
                  forms := [ [ "[2, 1, 32]", "[8, 1, 8]" ], [ "[2, 1, 4]" ] ],
                  h := 588 ), rec(
                  forms := [ [ "[2, 1, 30]", "[6, 1, 10]" ] ],
                  h := 590 ), rec(
                  forms := [ [ "[2, 1, 28]", "[8, 3, 8]" ] ],
                  h := 592 ), rec(
                  forms := [ [ "[2, 1, 26]" ] ],
                  h := 594 ), rec(
                  forms := [ [ "[2, 1, 24]", "[4, 1, 12]", "[6, 1, 8]" ] ],
                  h := 596 ), rec(
                  forms := [ [ "[2, 1, 22]" ] ],
                  h := 598 ), rec(
                  forms := [ [ "[2, 1, 20]", "[6, 3, 8]" ] ],
                  h := 600 ), rec(
                  forms := [ [ "[2, 1, 18]" ] ],
                  h := 602 ), rec(
                  forms := [ [ "[2, 1, 16]", "[4, 1, 8]" ] ],
                  h := 604 ), rec(
                  forms := [ [ "[2, 1, 14]" ], [ "[2, 1, 2]" ] ],
                  h := 606 ), rec(
                  forms := [ [ "[2, 1, 12]", "[4, 1, 6]" ] ],
                  h := 608 ), rec(
                  forms := [ [ "[2, 1, 10]" ] ],
                  h := 610 ), rec(
                  forms := [ [ "[2, 1, 8]" ] ],
                  h := 612 ), rec(
                  forms := [ [ "[2, 1, 6]" ] ],
                  h := 614 ), rec(
                  forms := [ [ "[2, 1, 4]" ] ],
                  h := 616 ) ],
          group := Group( [ () ] ),
          h := [ 4, 6, 8, 10, 12, 14, 16, 18, 20, 22, 24, 26, 28, 30, 32, 34, 36, 38, 40, 42, 44, 46, 48, 50, 52, 54, 
              56, 58, 60, 62, 64, 66, 68, 70, 72, 74, 76, 78, 80, 82, 84, 86, 88, 90, 92, 94, 96, 98, 100, 102, 104, 
              106, 108, 110, 112, 114, 116, 118, 120, 122, 124, 126, 128, 130, 132, 134, 136, 138, 140, 142, 144, 
              146, 148, 150, 152, 154, 156, 158, 160, 162, 164, 166, 168, 170, 172, 174, 176, 178, 180, 182, 184, 
              186, 188, 190, 192, 194, 196, 198, 200, 202, 204, 206, 208, 210, 212, 214, 216, 218, 220, 222, 224, 
              226, 228, 230, 232, 234, 236, 238, 240, 242, 244, 246, 248, 250, 252, 254, 256, 258, 260, 262, 264, 
              266, 268, 270, 272, 274, 276, 278, 280, 282, 284, 286, 288, 290, 292, 294, 296, 298, 300, 302, 304, 
              306, 308, 310, 312, 314, 316, 318, 320, 322, 324, 326, 328, 330, 332, 334, 336, 338, 340, 342, 344, 
              346, 348, 350, 352, 354, 356, 358, 360, 362, 364, 366, 368, 370, 372, 374, 376, 378, 380, 382, 384, 
              386, 388, 390, 392, 394, 396, 398, 400, 402, 404, 406, 408, 410, 412, 414, 416, 418, 420, 422, 424, 
              426, 428, 430, 432, 434, 436, 438, 440, 442, 444, 446, 448, 450, 452, 454, 456, 458, 460, 462, 464, 
              466, 468, 470, 472, 474, 476, 478, 480, 482, 484, 486, 488, 490, 492, 494, 496, 498, 500, 502, 504, 
              506, 508, 510, 512, 514, 516, 518, 520, 522, 524, 526, 528, 530, 532, 534, 536, 538, 540, 542, 544, 
              546, 548, 550, 552, 554, 556, 558, 560, 562, 564, 566, 568, 570, 572, 574, 576, 578, 580, 582, 584, 
              586, 588, 590, 592, 594, 596, 598, 600, 602, 604, 606, 608, 610, 612, 614, 616 ],
          info := rec(
              bipartite := true,
              distance_regular := false,
              girth := -1,
              pencils := [ [ 3, 2 ], [ 2, 13 ], [ 1, 4 ], [ 0, 1 ] ],
              regular := false,
              transitive := -1 ),
          isGraph := true,
          isSimple := true,
          names := [ 1, 2, 3, 4, 5, 6, 7, 8, 9, 10, 11, 12, 13, 14, 15, 16, 17, 18, 19, 20 ],
          order := 20,
          real := [ 4, 6, 8, 10, 12, 14, 16, 18, 20, 22, 24, 26, 28, 30, 32, 34, 36, 38, 40, 42, 44, 46, 48, 50, 52, 
              54, 56, 58, 60, 62, 64, 66, 68, 70, 72, 74, 76, 78, 80, 82, 84, 86, 88, 90, 92, 94, 96, 98, 100, 102, 
              104, 106, 108, 110, 112, 114, 116, 118, 120, 122, 124, 126, 128, 130, 132, 134, 136, 138, 140, 142, 
              144, 146, 148, 150, 152, 154, 156, 158, 160, 162, 164, 166, 168, 170, 172, 174, 176, 178, 180, 182, 
              184, 186, 188, 190, 192, 194, 196, 198, 200, 202, 204, 206, 208, 210, 212, 214, 216, 218, 220, 222, 
              224, 226, 228, 230, 232, 234, 236, 238, 240, 242, 244, 246, 248, 250, 252, 254, 256, 258, 260, 262, 
              264, 266, 268, 270, 272, 274, 276, 278, 280, 282, 284, 286, 288, 290, 292, 294, 296, 298, 300, 302, 
              304, 306, 308, 310, 312, 314, 316, 318, 320, 322, 324, 326, 328, 330, 332, 334, 336, 338, 340, 342, 
              344, 346, 348, 350, 352, 354, 356, 358, 360, 362, 364, 366, 368, 370, 372, 374, 376, 378, 380, 382, 
              384, 386, 388, 390, 392, 394, 396, 398, 400, 402, 404, 406, 408, 410, 412, 414, 416, 418, 420, 422, 
              424, 426, 428, 430, 432, 434, 436, 438, 440, 442, 444, 446, 448, 450, 452, 454, 456, 458, 460, 462, 
              464, 466, 468, 470, 472, 474, 476, 478, 480, 482, 484, 486, 488, 490, 492, 494, 496, 498, 500, 502, 
              504, 506, 508, 510, 512, 514, 516, 518, 520, 522, 524, 526, 528, 530, 532, 534, 536, 538, 540, 542, 
              544, 546, 548, 550, 552, 554, 556, 558, 560, 562, 564, 566, 568, 570, 572, 574, 576, 578, 580, 582, 
              584, 586, 588, 590, 592, 594, 596, 598, 600, 602, 604, 606, 608, 610, 612, 614, 616 ],
          representatives := [ 1, 2, 3, 4, 5, 6, 7, 8, 9, 10, 11, 12, 13, 14, 15, 16, 17, 18, 19, 20 ],
          schreierVector := [ -1, -2, -3, -4, -5, -6, -7, -8, -9, -10, -11, -12, -13, -14, -15, -16, -17, -18, -19, 
              -20 ] ), rec(
          adjacencies := [ [ 2, 20 ], [ 1, 3 ], [ 2, 4 ], [ 3, 5 ], [ 4, 6 ], [ 5, 7, 9 ], [ 6, 8 ], [ 7 ], [ 6 ], 
              [ 11 ], [ 10, 12 ], [ 11, 13, 15 ], [ 12, 14 ], [ 13 ], [ 12 ], [ 17 ], [ 16, 18, 20 ], [ 17, 19 ], 
              [ 18 ], [ 1, 17 ] ],
          autGroup := Group( [ (10,14)(11,13), ( 1, 4)( 2, 3)( 5,20)( 6,17)( 7,18)( 8,19)( 9,16) ] ),
          forms := [ rec(
                  forms := [ [ "[2, 1, 8]" ] ],
                  h := 252 ) ],
          group := Group( [ () ] ),
          h := [ 252 ],
          info := rec(
              bipartite := true,
              distance_regular := false,
              girth := -1,
              pencils := [ [ 3, 3 ], [ 2, 10 ], [ 1, 7 ] ],
              regular := false,
              transitive := -1 ),
          isGraph := true,
          isSimple := true,
          names := [ 1, 2, 3, 4, 5, 6, 7, 8, 9, 10, 11, 12, 13, 14, 15, 16, 17, 18, 19, 20 ],
          order := 20,
          real := [ 252 ],
          representatives := [ 1, 2, 3, 4, 5, 6, 7, 8, 9, 10, 11, 12, 13, 14, 15, 16, 17, 18, 19, 20 ],
          schreierVector := [ -1, -2, -3, -4, -5, -6, -7, -8, -9, -10, -11, -12, -13, -14, -15, -16, -17, -18, -19, 
              -20 ] ), rec(
          adjacencies := [ [ 2, 20 ], [ 1, 3 ], [ 2, 4 ], [ 3, 5 ], [ 4, 6 ], [ 5, 7, 9 ], [ 6, 8 ], [ 7 ], [ 6 ], 
              [ 11, 20 ], [ 10 ], [ 13 ], [ 12 ], [ 15 ], [ 14 ], [ 20 ], [  ], [  ], [  ], [ 1, 10, 16 ] ],
          autGroup := Group( [ ( 1, 5)( 2, 4)( 6,20)( 7,10)( 8,11)( 9,16), (14,15), (12,13), (12,14)(13,15), (18,19), 
              (17,18) ] ),
          forms := [ rec(
                  forms := [ [ "[4, 2, 4]" ] ],
                  h := 272 ) ],
          group := Group( [ () ] ),
          h := [ 272 ],
          info := rec(
              bipartite := true,
              distance_regular := false,
              girth := -1,
              pencils := [ [ 3, 2 ], [ 2, 7 ], [ 1, 8 ], [ 0, 3 ] ],
              regular := false,
              transitive := -1 ),
          isGraph := true,
          isSimple := true,
          names := [ 1, 2, 3, 4, 5, 6, 7, 8, 9, 10, 11, 12, 13, 14, 15, 16, 17, 18, 19, 20 ],
          order := 20,
          real := [  ],
          representatives := [ 1, 2, 3, 4, 5, 6, 7, 8, 9, 10, 11, 12, 13, 14, 15, 16, 17, 18, 19, 20 ],
          schreierVector := [ -1, -2, -3, -4, -5, -6, -7, -8, -9, -10, -11, -12, -13, -14, -15, -16, -17, -18, -19, 
              -20 ] ), rec(
          adjacencies := [ [ 2, 20 ], [ 1, 3 ], [ 2, 4 ], [ 3, 5 ], [ 4, 6 ], [ 5, 7, 9 ], [ 6, 8 ], [ 7 ], [ 6 ], 
              [ 11 ], [ 10, 12 ], [ 11, 13 ], [ 12, 14 ], [ 13, 15 ], [ 14 ], [ 17 ], [ 16, 18, 20 ], [ 17, 19 ], 
              [ 18 ], [ 1, 17 ] ],
          autGroup := Group( [ (10,15)(11,14)(12,13), ( 1, 4)( 2, 3)( 5,20)( 6,17)( 7,18)( 8,19)( 9,16) ] ),
          forms := [ rec(
                  forms := [ [ "[2, 1, 18]" ] ],
                  h := 302 ) ],
          group := Group( [ () ] ),
          h := [ 302 ],
          info := rec(
              bipartite := true,
              distance_regular := false,
              girth := -1,
              pencils := [ [ 3, 2 ], [ 2, 12 ], [ 1, 6 ] ],
              regular := false,
              transitive := -1 ),
          isGraph := true,
          isSimple := true,
          names := [ 1, 2, 3, 4, 5, 6, 7, 8, 9, 10, 11, 12, 13, 14, 15, 16, 17, 18, 19, 20 ],
          order := 20,
          real := [ 302 ],
          representatives := [ 1, 2, 3, 4, 5, 6, 7, 8, 9, 10, 11, 12, 13, 14, 15, 16, 17, 18, 19, 20 ],
          schreierVector := [ -1, -2, -3, -4, -5, -6, -7, -8, -9, -10, -11, -12, -13, -14, -15, -16, -17, -18, -19, 
              -20 ] ), rec(
          adjacencies := [ [ 2, 20 ], [ 1, 3 ], [ 2, 4 ], [ 3, 5 ], [ 4, 6 ], [ 5, 7, 9 ], [ 6, 8 ], [ 7 ], [ 6 ], 
              [ 11 ], [ 10, 12 ], [ 11, 13 ], [ 12, 14 ], [ 13 ], [ 20 ], [ 20 ], [  ], [  ], [  ], [ 1, 15, 16 ] ],
          autGroup := Group( [ (10,14)(11,13), (15,16), (18,19), (17,18) ] ),
          forms := [ rec(
                  forms := [ [ "[4, 2, 4]" ] ],
                  h := 380 ) ],
          group := Group( [ () ] ),
          h := [ 380 ],
          info := rec(
              bipartite := true,
              distance_regular := false,
              girth := -1,
              pencils := [ [ 3, 2 ], [ 2, 9 ], [ 1, 6 ], [ 0, 3 ] ],
              regular := false,
              transitive := -1 ),
          isGraph := true,
          isSimple := true,
          names := [ 1, 2, 3, 4, 5, 6, 7, 8, 9, 10, 11, 12, 13, 14, 15, 16, 17, 18, 19, 20 ],
          order := 20,
          real := [  ],
          representatives := [ 1, 2, 3, 4, 5, 6, 7, 8, 9, 10, 11, 12, 13, 14, 15, 16, 17, 18, 19, 20 ],
          schreierVector := [ -1, -2, -3, -4, -5, -6, -7, -8, -9, -10, -11, -12, -13, -14, -15, -16, -17, -18, -19, 
              -20 ] ), rec(
          adjacencies := [ [ 2, 20 ], [ 1, 3 ], [ 2, 4 ], [ 3, 5 ], [ 4, 6 ], [ 5, 7, 9 ], [ 6, 8 ], [ 7 ], [ 6 ], 
              [ 11 ], [ 10, 12 ], [ 11 ], [ 14 ], [ 13, 15 ], [ 14 ], [ 20 ], [ 20 ], [  ], [  ], [ 1, 16, 17 ] ],
          autGroup := Group( [ (13,15), (10,12), (10,13)(11,14)(12,15), (16,17), (18,19) ] ),
          forms := [ rec(
                  forms := [ [ "[4, 0, 4]" ] ],
                  h := 388 ) ],
          group := Group( [ () ] ),
          h := [ 388 ],
          info := rec(
              bipartite := true,
              distance_regular := false,
              girth := -1,
              pencils := [ [ 3, 2 ], [ 2, 8 ], [ 1, 8 ], [ 0, 2 ] ],
              regular := false,
              transitive := -1 ),
          isGraph := true,
          isSimple := true,
          names := [ 1, 2, 3, 4, 5, 6, 7, 8, 9, 10, 11, 12, 13, 14, 15, 16, 17, 18, 19, 20 ],
          order := 20,
          real := [  ],
          representatives := [ 1, 2, 3, 4, 5, 6, 7, 8, 9, 10, 11, 12, 13, 14, 15, 16, 17, 18, 19, 20 ],
          schreierVector := [ -1, -2, -3, -4, -5, -6, -7, -8, -9, -10, -11, -12, -13, -14, -15, -16, -17, -18, -19, 
              -20 ] ), rec(
          adjacencies := [ [ 2, 20 ], [ 1, 3 ], [ 2, 4 ], [ 3, 5 ], [ 4, 6 ], [ 5, 7, 9 ], [ 6, 8 ], [ 7 ], [ 6 ], 
              [ 11, 20 ], [ 10, 12 ], [ 11, 13, 15 ], [ 12, 14 ], [ 13 ], [ 12 ], [ 19 ], [ 19 ], [ 19 ], 
              [ 16, 17, 18 ], [ 1, 10 ] ],
          autGroup := Group( [ ( 1, 2)( 3,20)( 4,10)( 5,11)( 6,12)( 7,13)( 8,14)( 9,15), (17,18), (16,17) ] ),
          forms := [ rec(
                  forms := [ [ "[4, 2, 4]" ] ],
                  h := 428 ) ],
          group := Group( [ () ] ),
          h := [ 428 ],
          info := rec(
              bipartite := true,
              distance_regular := false,
              girth := -1,
              pencils := [ [ 3, 3 ], [ 2, 10 ], [ 1, 7 ] ],
              regular := false,
              transitive := -1 ),
          isGraph := true,
          isSimple := true,
          names := [ 1, 2, 3, 4, 5, 6, 7, 8, 9, 10, 11, 12, 13, 14, 15, 16, 17, 18, 19, 20 ],
          order := 20,
          real := [  ],
          representatives := [ 1, 2, 3, 4, 5, 6, 7, 8, 9, 10, 11, 12, 13, 14, 15, 16, 17, 18, 19, 20 ],
          schreierVector := [ -1, -2, -3, -4, -5, -6, -7, -8, -9, -10, -11, -12, -13, -14, -15, -16, -17, -18, -19, 
              -20 ] ), rec(
          adjacencies := [ [ 2, 20 ], [ 1, 3 ], [ 2, 4 ], [ 3, 5 ], [ 4, 6 ], [ 5, 7, 9 ], [ 6, 8 ], [ 7 ], [ 6 ], 
              [ 11 ], [ 10, 12 ], [ 11, 13, 15 ], [ 12, 14 ], [ 13 ], [ 12 ], [ 19 ], [ 19 ], [ 19, 20 ], 
              [ 16, 17, 18 ], [ 1, 18 ] ],
          autGroup := Group( [ (10,14)(11,13), (16,17) ] ),
          forms := [ rec(
                  forms := [ [ "[4, 2, 4]" ] ],
                  h := 428 ) ],
          group := Group( [ () ] ),
          h := [ 428 ],
          info := rec(
              bipartite := true,
              distance_regular := false,
              girth := -1,
              pencils := [ [ 3, 3 ], [ 2, 10 ], [ 1, 7 ] ],
              regular := false,
              transitive := -1 ),
          isGraph := true,
          isSimple := true,
          names := [ 1, 2, 3, 4, 5, 6, 7, 8, 9, 10, 11, 12, 13, 14, 15, 16, 17, 18, 19, 20 ],
          order := 20,
          real := [  ],
          representatives := [ 1, 2, 3, 4, 5, 6, 7, 8, 9, 10, 11, 12, 13, 14, 15, 16, 17, 18, 19, 20 ],
          schreierVector := [ -1, -2, -3, -4, -5, -6, -7, -8, -9, -10, -11, -12, -13, -14, -15, -16, -17, -18, -19, 
              -20 ] ), rec(
          adjacencies := [ [ 2, 20 ], [ 1, 3 ], [ 2, 4 ], [ 3, 5 ], [ 4, 6 ], [ 5, 7, 9 ], [ 6, 8 ], [ 7 ], [ 6 ], 
              [ 11, 20 ], [ 10, 12 ], [ 11, 13, 15 ], [ 12, 14 ], [ 13 ], [ 12 ], [ 17 ], [ 16, 18 ], [ 17, 19 ], 
              [ 18 ], [ 1, 10 ] ],
          autGroup := Group( [ (16,19)(17,18), ( 1, 2)( 3,20)( 4,10)( 5,11)( 6,12)( 7,13)( 8,14)( 9,15) ] ),
          forms := [ rec(
                  forms := [ [ "[2, 1, 8]" ] ],
                  h := 432 ) ],
          group := Group( [ () ] ),
          h := [ 432 ],
          info := rec(
              bipartite := true,
              distance_regular := false,
              girth := -1,
              pencils := [ [ 3, 2 ], [ 2, 12 ], [ 1, 6 ] ],
              regular := false,
              transitive := -1 ),
          isGraph := true,
          isSimple := true,
          names := [ 1, 2, 3, 4, 5, 6, 7, 8, 9, 10, 11, 12, 13, 14, 15, 16, 17, 18, 19, 20 ],
          order := 20,
          real := [ 432 ],
          representatives := [ 1, 2, 3, 4, 5, 6, 7, 8, 9, 10, 11, 12, 13, 14, 15, 16, 17, 18, 19, 20 ],
          schreierVector := [ -1, -2, -3, -4, -5, -6, -7, -8, -9, -10, -11, -12, -13, -14, -15, -16, -17, -18, -19, 
              -20 ] ), rec(
          adjacencies := [ [ 2, 20 ], [ 1, 3 ], [ 2, 4 ], [ 3, 5 ], [ 4, 6 ], [ 5, 7, 9 ], [ 6, 8 ], [ 7 ], [ 6 ], 
              [ 14 ], [ 14 ], [ 13, 20 ], [ 12, 14 ], [ 10, 11, 13 ], [ 19 ], [ 19 ], [ 18 ], [ 17, 19 ], 
              [ 15, 16, 18 ], [ 1, 12 ] ],
          autGroup := Group( [ (10,11), (15,16) ] ),
          forms := [ rec(
                  forms := [ [ "[4, 0, 4]" ] ],
                  h := 520 ) ],
          group := Group( [ () ] ),
          h := [ 520 ],
          info := rec(
              bipartite := true,
              distance_regular := false,
              girth := -1,
              pencils := [ [ 3, 3 ], [ 2, 10 ], [ 1, 7 ] ],
              regular := false,
              transitive := -1 ),
          isGraph := true,
          isSimple := true,
          names := [ 1, 2, 3, 4, 5, 6, 7, 8, 9, 10, 11, 12, 13, 14, 15, 16, 17, 18, 19, 20 ],
          order := 20,
          real := [  ],
          representatives := [ 1, 2, 3, 4, 5, 6, 7, 8, 9, 10, 11, 12, 13, 14, 15, 16, 17, 18, 19, 20 ],
          schreierVector := [ -1, -2, -3, -4, -5, -6, -7, -8, -9, -10, -11, -12, -13, -14, -15, -16, -17, -18, -19, 
              -20 ] ), rec(
          adjacencies := [ [ 2, 20 ], [ 1, 3 ], [ 2, 4 ], [ 3, 5 ], [ 4, 6 ], [ 5, 7, 9 ], [ 6, 8 ], [ 7 ], [ 6 ], 
              [ 11 ], [ 10, 12 ], [ 11, 13, 15 ], [ 12, 14 ], [ 13 ], [ 12 ], [ 17, 20 ], [ 16, 18 ], [ 17, 19 ], 
              [ 18 ], [ 1, 16 ] ],
          autGroup := Group( [ (10,14)(11,13) ] ),
          forms := [ rec(
                  forms := [ [ "[2, 1, 8]" ] ],
                  h := 552 ) ],
          group := Group( [ () ] ),
          h := [ 552 ],
          info := rec(
              bipartite := true,
              distance_regular := false,
              girth := -1,
              pencils := [ [ 3, 2 ], [ 2, 12 ], [ 1, 6 ] ],
              regular := false,
              transitive := -1 ),
          isGraph := true,
          isSimple := true,
          names := [ 1, 2, 3, 4, 5, 6, 7, 8, 9, 10, 11, 12, 13, 14, 15, 16, 17, 18, 19, 20 ],
          order := 20,
          real := [ 552 ],
          representatives := [ 1, 2, 3, 4, 5, 6, 7, 8, 9, 10, 11, 12, 13, 14, 15, 16, 17, 18, 19, 20 ],
          schreierVector := [ -1, -2, -3, -4, -5, -6, -7, -8, -9, -10, -11, -12, -13, -14, -15, -16, -17, -18, -19, 
              -20 ] ), rec(
          adjacencies := [ [ 2, 20 ], [ 1, 3 ], [ 2, 4 ], [ 3, 5 ], [ 4, 6 ], [ 5, 7, 9 ], [ 6, 8 ], [ 7 ], [ 6 ], 
              [ 11 ], [ 10, 12 ], [ 11, 13 ], [ 12, 14 ], [ 13, 15 ], [ 14 ], [ 17, 20 ], [ 16, 18 ], [ 17, 19 ], 
              [ 18 ], [ 1, 16 ] ],
          autGroup := Group( [ (10,15)(11,14)(12,13) ] ),
          forms := [ rec(
                  forms := [ [ "[2, 1, 18]" ] ],
                  h := 602 ) ],
          group := Group( [ () ] ),
          h := [ 602 ],
          info := rec(
              bipartite := true,
              distance_regular := false,
              girth := -1,
              pencils := [ [ 3, 1 ], [ 2, 14 ], [ 1, 5 ] ],
              regular := false,
              transitive := -1 ),
          isGraph := true,
          isSimple := true,
          names := [ 1, 2, 3, 4, 5, 6, 7, 8, 9, 10, 11, 12, 13, 14, 15, 16, 17, 18, 19, 20 ],
          order := 20,
          real := [ 602 ],
          representatives := [ 1, 2, 3, 4, 5, 6, 7, 8, 9, 10, 11, 12, 13, 14, 15, 16, 17, 18, 19, 20 ],
          schreierVector := [ -1, -2, -3, -4, -5, -6, -7, -8, -9, -10, -11, -12, -13, -14, -15, -16, -17, -18, -19, 
              -20 ] ), rec(
          adjacencies := [ [ 2, 20 ], [ 1, 3 ], [ 2, 4 ], [ 3, 5 ], [ 4, 6 ], [ 5, 7, 9 ], [ 6, 8 ], [ 7 ], [ 6 ], 
              [ 13 ], [ 13 ], [ 13 ], [ 10, 11, 12 ], [ 15, 20 ], [ 14, 16 ], [ 15, 17 ], [ 16, 18 ], [ 17 ], [  ], 
              [ 1, 14 ] ],
          autGroup := Group( [ (11,12), (10,11) ] ),
          forms := [ rec(
                  forms := [ [ "[4, 2, 4]" ] ],
                  h := 608 ) ],
          group := Group( [ () ] ),
          h := [ 608 ],
          info := rec(
              bipartite := true,
              distance_regular := false,
              girth := -1,
              pencils := [ [ 3, 2 ], [ 2, 11 ], [ 1, 6 ], [ 0, 1 ] ],
              regular := false,
              transitive := -1 ),
          isGraph := true,
          isSimple := true,
          names := [ 1, 2, 3, 4, 5, 6, 7, 8, 9, 10, 11, 12, 13, 14, 15, 16, 17, 18, 19, 20 ],
          order := 20,
          real := [  ],
          representatives := [ 1, 2, 3, 4, 5, 6, 7, 8, 9, 10, 11, 12, 13, 14, 15, 16, 17, 18, 19, 20 ],
          schreierVector := [ -1, -2, -3, -4, -5, -6, -7, -8, -9, -10, -11, -12, -13, -14, -15, -16, -17, -18, -19, 
              -20 ] ), rec(
          adjacencies := [ [ 2, 20 ], [ 1, 3 ], [ 2, 4 ], [ 3, 5 ], [ 4, 6 ], [ 5, 7, 9 ], [ 6, 8 ], [ 7 ], [ 6 ], 
              [ 11, 20 ], [ 10, 12 ], [ 11, 13 ], [ 12, 14 ], [ 13 ], [ 16 ], [ 15, 17 ], [ 16, 18 ], [ 17 ], [  ], 
              [ 1, 10 ] ],
          autGroup := Group( [ (15,18)(16,17) ] ),
          forms := [ rec(
                  forms := [ [ "[2, 1, 8]" ] ],
                  h := 612 ) ],
          group := Group( [ () ] ),
          h := [ 612 ],
          info := rec(
              bipartite := true,
              distance_regular := false,
              girth := -1,
              pencils := [ [ 3, 1 ], [ 2, 13 ], [ 1, 5 ], [ 0, 1 ] ],
              regular := false,
              transitive := -1 ),
          isGraph := true,
          isSimple := true,
          names := [ 1, 2, 3, 4, 5, 6, 7, 8, 9, 10, 11, 12, 13, 14, 15, 16, 17, 18, 19, 20 ],
          order := 20,
          real := [ 612 ],
          representatives := [ 1, 2, 3, 4, 5, 6, 7, 8, 9, 10, 11, 12, 13, 14, 15, 16, 17, 18, 19, 20 ],
          schreierVector := [ -1, -2, -3, -4, -5, -6, -7, -8, -9, -10, -11, -12, -13, -14, -15, -16, -17, -18, -19, 
              -20 ] ), rec(
          adjacencies := [ [ 2, 20 ], [ 1, 3 ], [ 2, 4 ], [ 3, 5 ], [ 4, 6 ], [ 5, 7, 9 ], [ 6, 8 ], [ 7 ], [ 6 ], 
              [ 11 ], [ 10, 12 ], [ 11, 13 ], [ 12, 14 ], [ 13, 15 ], [ 14, 16 ], [ 15, 17 ], [ 16 ], [ 19, 20 ], 
              [ 18 ], [ 1, 18 ] ],
          autGroup := Group( [ (10,17)(11,16)(12,15)(13,14) ] ),
          forms := [ rec(
                  forms := [ [ "[6, 3, 6]" ] ],
                  h := 638 ) ],
          group := Group( [ () ] ),
          h := [ 638 ],
          info := rec(
              bipartite := true,
              distance_regular := false,
              girth := -1,
              pencils := [ [ 3, 1 ], [ 2, 14 ], [ 1, 5 ] ],
              regular := false,
              transitive := -1 ),
          isGraph := true,
          isSimple := true,
          names := [ 1, 2, 3, 4, 5, 6, 7, 8, 9, 10, 11, 12, 13, 14, 15, 16, 17, 18, 19, 20 ],
          order := 20,
          real := [  ],
          representatives := [ 1, 2, 3, 4, 5, 6, 7, 8, 9, 10, 11, 12, 13, 14, 15, 16, 17, 18, 19, 20 ],
          schreierVector := [ -1, -2, -3, -4, -5, -6, -7, -8, -9, -10, -11, -12, -13, -14, -15, -16, -17, -18, -19, 
              -20 ] ), rec(
          adjacencies := [ [ 2, 20 ], [ 1, 3 ], [ 2, 4 ], [ 3, 5 ], [ 4, 6 ], [ 5, 7, 9 ], [ 6, 8 ], [ 7 ], [ 6 ], 
              [ 11 ], [ 10, 12 ], [ 11, 13 ], [ 12, 14 ], [ 13, 15 ], [ 14 ], [ 17, 20 ], [ 16 ], [ 19 ], [ 18 ], 
              [ 1, 16 ] ],
          autGroup := Group( [ (18,19), (10,15)(11,14)(12,13) ] ),
          forms := [ rec(
                  forms := [ [ "[6, 3, 12]" ] ],
                  h := 668 ) ],
          group := Group( [ () ] ),
          h := [ 668 ],
          info := rec(
              bipartite := true,
              distance_regular := false,
              girth := -1,
              pencils := [ [ 3, 1 ], [ 2, 12 ], [ 1, 7 ] ],
              regular := false,
              transitive := -1 ),
          isGraph := true,
          isSimple := true,
          names := [ 1, 2, 3, 4, 5, 6, 7, 8, 9, 10, 11, 12, 13, 14, 15, 16, 17, 18, 19, 20 ],
          order := 20,
          real := [  ],
          representatives := [ 1, 2, 3, 4, 5, 6, 7, 8, 9, 10, 11, 12, 13, 14, 15, 16, 17, 18, 19, 20 ],
          schreierVector := [ -1, -2, -3, -4, -5, -6, -7, -8, -9, -10, -11, -12, -13, -14, -15, -16, -17, -18, -19, 
              -20 ] ), rec(
          adjacencies := [ [ 2, 20 ], [ 1, 3 ], [ 2, 4 ], [ 3, 5 ], [ 4, 6 ], [ 5, 7, 9 ], [ 6, 8 ], [ 7 ], [ 6 ], 
              [ 13 ], [ 13 ], [ 13 ], [ 10, 11, 12 ], [ 15, 20 ], [ 14 ], [ 17 ], [ 16 ], [ 19 ], [ 18 ], [ 1, 14 ] ],
          autGroup := Group( [ (18,19), (16,17), (16,18)(17,19), (11,12), (10,11) ] ),
          forms := [ rec(
                  forms := [ [ "[4, 2, 4]" ] ],
                  h := 680 ) ],
          group := Group( [ () ] ),
          h := [ 680 ],
          info := rec(
              bipartite := true,
              distance_regular := false,
              girth := -1,
              pencils := [ [ 3, 2 ], [ 2, 8 ], [ 1, 10 ] ],
              regular := false,
              transitive := -1 ),
          isGraph := true,
          isSimple := true,
          names := [ 1, 2, 3, 4, 5, 6, 7, 8, 9, 10, 11, 12, 13, 14, 15, 16, 17, 18, 19, 20 ],
          order := 20,
          real := [  ],
          representatives := [ 1, 2, 3, 4, 5, 6, 7, 8, 9, 10, 11, 12, 13, 14, 15, 16, 17, 18, 19, 20 ],
          schreierVector := [ -1, -2, -3, -4, -5, -6, -7, -8, -9, -10, -11, -12, -13, -14, -15, -16, -17, -18, -19, 
              -20 ] ), rec(
          adjacencies := [ [ 2, 20 ], [ 1, 3 ], [ 2, 4 ], [ 3, 5 ], [ 4, 6 ], [ 5, 7, 9 ], [ 6, 8 ], [ 7 ], [ 6 ], 
              [ 11 ], [ 10, 12 ], [ 11, 13 ], [ 12 ], [ 15, 20 ], [ 14 ], [ 17 ], [ 16 ], [ 19 ], [ 18 ], [ 1, 14 ] ],
          autGroup := Group( [ (18,19), (16,17), (16,18)(17,19), (10,13)(11,12) ] ),
          forms := [ rec(
                  forms := [ [ "[2, 1, 8]" ] ],
                  h := 684 ) ],
          group := Group( [ () ] ),
          h := [ 684 ],
          info := rec(
              bipartite := true,
              distance_regular := false,
              girth := -1,
              pencils := [ [ 3, 1 ], [ 2, 10 ], [ 1, 9 ] ],
              regular := false,
              transitive := -1 ),
          isGraph := true,
          isSimple := true,
          names := [ 1, 2, 3, 4, 5, 6, 7, 8, 9, 10, 11, 12, 13, 14, 15, 16, 17, 18, 19, 20 ],
          order := 20,
          real := [ 684 ],
          representatives := [ 1, 2, 3, 4, 5, 6, 7, 8, 9, 10, 11, 12, 13, 14, 15, 16, 17, 18, 19, 20 ],
          schreierVector := [ -1, -2, -3, -4, -5, -6, -7, -8, -9, -10, -11, -12, -13, -14, -15, -16, -17, -18, -19, 
              -20 ] ), rec(
          adjacencies := [ [ 2, 20 ], [ 1, 3 ], [ 2, 4 ], [ 3, 5 ], [ 4, 6 ], [ 5, 7, 9 ], [ 6, 8 ], [ 7 ], [ 6 ], 
              [ 11 ], [ 10, 12 ], [ 11, 13, 15 ], [ 12, 14 ], [ 13 ], [ 12 ], [ 20 ], [  ], [  ], [  ], [ 1, 16 ] ],
          autGroup := Group( [ (10,14)(11,13), (18,19), (17,18) ] ),
          forms := [ rec(
                  forms := [ [ "[4, 2, 4]" ] ],
                  h := 740 ) ],
          group := Group( [ () ] ),
          h := [ 740 ],
          info := rec(
              bipartite := true,
              distance_regular := false,
              girth := -1,
              pencils := [ [ 3, 2 ], [ 2, 9 ], [ 1, 6 ], [ 0, 3 ] ],
              regular := false,
              transitive := -1 ),
          isGraph := true,
          isSimple := true,
          names := [ 1, 2, 3, 4, 5, 6, 7, 8, 9, 10, 11, 12, 13, 14, 15, 16, 17, 18, 19, 20 ],
          order := 20,
          real := [  ],
          representatives := [ 1, 2, 3, 4, 5, 6, 7, 8, 9, 10, 11, 12, 13, 14, 15, 16, 17, 18, 19, 20 ],
          schreierVector := [ -1, -2, -3, -4, -5, -6, -7, -8, -9, -10, -11, -12, -13, -14, -15, -16, -17, -18, -19, 
              -20 ] ), rec(
          adjacencies := [ [ 2, 20 ], [ 1, 3 ], [ 2, 4 ], [ 3, 5 ], [ 4, 6 ], [ 5, 7, 9 ], [ 6, 8 ], [ 7 ], [ 6 ], 
              [ 14 ], [ 14 ], [ 13 ], [ 12, 14 ], [ 10, 11, 13 ], [ 16 ], [ 15, 17 ], [ 16 ], [ 20 ], [  ], [ 1, 18 ] 
             ],
          autGroup := Group( [ (15,17), (10,11) ] ),
          forms := [ rec(
                  forms := [ [ "[4, 0, 4]" ] ],
                  h := 784 ) ],
          group := Group( [ () ] ),
          h := [ 784 ],
          info := rec(
              bipartite := true,
              distance_regular := false,
              girth := -1,
              pencils := [ [ 3, 2 ], [ 2, 9 ], [ 1, 8 ], [ 0, 1 ] ],
              regular := false,
              transitive := -1 ),
          isGraph := true,
          isSimple := true,
          names := [ 1, 2, 3, 4, 5, 6, 7, 8, 9, 10, 11, 12, 13, 14, 15, 16, 17, 18, 19, 20 ],
          order := 20,
          real := [  ],
          representatives := [ 1, 2, 3, 4, 5, 6, 7, 8, 9, 10, 11, 12, 13, 14, 15, 16, 17, 18, 19, 20 ],
          schreierVector := [ -1, -2, -3, -4, -5, -6, -7, -8, -9, -10, -11, -12, -13, -14, -15, -16, -17, -18, -19, 
              -20 ] ), rec(
          adjacencies := [ [ 2, 20 ], [ 1, 3 ], [ 2, 4 ], [ 3, 5 ], [ 4, 6 ], [ 5, 7, 9 ], [ 6, 8 ], [ 7 ], [ 6 ], 
              [ 13 ], [ 13 ], [ 13 ], [ 10, 11, 12 ], [ 15 ], [ 14, 16 ], [ 15, 17 ], [ 16, 18 ], [ 17 ], [ 20 ], 
              [ 1, 19 ] ],
          autGroup := Group( [ (14,18)(15,17), (11,12), (10,11) ] ),
          forms := [ rec(
                  forms := [ [ "[4, 2, 4]" ] ],
                  h := 788 ) ],
          group := Group( [ () ] ),
          h := [ 788 ],
          info := rec(
              bipartite := true,
              distance_regular := false,
              girth := -1,
              pencils := [ [ 3, 2 ], [ 2, 10 ], [ 1, 8 ] ],
              regular := false,
              transitive := -1 ),
          isGraph := true,
          isSimple := true,
          names := [ 1, 2, 3, 4, 5, 6, 7, 8, 9, 10, 11, 12, 13, 14, 15, 16, 17, 18, 19, 20 ],
          order := 20,
          real := [  ],
          representatives := [ 1, 2, 3, 4, 5, 6, 7, 8, 9, 10, 11, 12, 13, 14, 15, 16, 17, 18, 19, 20 ],
          schreierVector := [ -1, -2, -3, -4, -5, -6, -7, -8, -9, -10, -11, -12, -13, -14, -15, -16, -17, -18, -19, 
              -20 ] ), rec(
          adjacencies := [ [ 2, 20 ], [ 1, 3 ], [ 2, 4 ], [ 3, 5 ], [ 4, 6 ], [ 5, 7, 9 ], [ 6, 8 ], [ 7 ], [ 6 ], 
              [ 11 ], [ 10, 12 ], [ 11, 13 ], [ 12, 14 ], [ 13 ], [ 16 ], [ 15, 17 ], [ 16, 18 ], [ 17 ], [ 20 ], 
              [ 1, 19 ] ],
          autGroup := Group( [ (10,14)(11,13), (15,18)(16,17) ] ),
          forms := [ rec(
                  forms := [ [ "[2, 1, 8]" ] ],
                  h := 792 ) ],
          group := Group( [ () ] ),
          h := [ 792 ],
          info := rec(
              bipartite := true,
              distance_regular := false,
              girth := -1,
              pencils := [ [ 3, 1 ], [ 2, 12 ], [ 1, 7 ] ],
              regular := false,
              transitive := -1 ),
          isGraph := true,
          isSimple := true,
          names := [ 1, 2, 3, 4, 5, 6, 7, 8, 9, 10, 11, 12, 13, 14, 15, 16, 17, 18, 19, 20 ],
          order := 20,
          real := [ 792 ],
          representatives := [ 1, 2, 3, 4, 5, 6, 7, 8, 9, 10, 11, 12, 13, 14, 15, 16, 17, 18, 19, 20 ],
          schreierVector := [ -1, -2, -3, -4, -5, -6, -7, -8, -9, -10, -11, -12, -13, -14, -15, -16, -17, -18, -19, 
              -20 ] ), rec(
          adjacencies := [ [ 2, 20 ], [ 1, 3 ], [ 2, 4 ], [ 3, 5 ], [ 4, 6 ], [ 5, 7, 9 ], [ 6, 8 ], [ 7 ], [ 6 ], 
              [ 11 ], [ 10, 12 ], [ 11, 13 ], [ 12, 14 ], [ 13, 15 ], [ 14, 16 ], [ 15, 17 ], [ 16, 18 ], [ 17, 19 ], 
              [ 18 ], [ 1 ] ],
          autGroup := Group( [ (10,19)(11,18)(12,17)(13,16)(14,15) ] ),
          forms := [ rec(
                  forms := [ [ "[2, 1, 6]" ] ],
                  h := 1130 ) ],
          group := Group( [ () ] ),
          h := [ 1130 ],
          info := rec(
              bipartite := true,
              distance_regular := false,
              girth := -1,
              pencils := [ [ 3, 1 ], [ 2, 14 ], [ 1, 5 ] ],
              regular := false,
              transitive := -1 ),
          isGraph := true,
          isSimple := true,
          names := [ 1, 2, 3, 4, 5, 6, 7, 8, 9, 10, 11, 12, 13, 14, 15, 16, 17, 18, 19, 20 ],
          order := 20,
          real := [ 1130 ],
          representatives := [ 1, 2, 3, 4, 5, 6, 7, 8, 9, 10, 11, 12, 13, 14, 15, 16, 17, 18, 19, 20 ],
          schreierVector := [ -1, -2, -3, -4, -5, -6, -7, -8, -9, -10, -11, -12, -13, -14, -15, -16, -17, -18, -19, 
              -20 ] ), rec(
          adjacencies := [ [ 2, 20 ], [ 1, 3 ], [ 2, 4 ], [ 3, 5 ], [ 4, 6 ], [ 5, 7, 9 ], [ 6, 8 ], [ 7 ], [ 6 ], 
              [ 11 ], [ 10, 12 ], [ 11, 13, 15 ], [ 12, 14 ], [ 13 ], [ 12 ], [ 19 ], [ 19 ], [ 19 ], [ 16, 17, 18 ], 
              [ 1 ] ],
          autGroup := Group( [ (10,14)(11,13), (17,18), (16,17) ] ),
          forms := [ rec(
                  forms := [ [ "[4, 2, 4]" ] ],
                  h := 1148 ) ],
          group := Group( [ () ] ),
          h := [ 1148 ],
          info := rec(
              bipartite := true,
              distance_regular := false,
              girth := -1,
              pencils := [ [ 3, 3 ], [ 2, 8 ], [ 1, 9 ] ],
              regular := false,
              transitive := -1 ),
          isGraph := true,
          isSimple := true,
          names := [ 1, 2, 3, 4, 5, 6, 7, 8, 9, 10, 11, 12, 13, 14, 15, 16, 17, 18, 19, 20 ],
          order := 20,
          real := [  ],
          representatives := [ 1, 2, 3, 4, 5, 6, 7, 8, 9, 10, 11, 12, 13, 14, 15, 16, 17, 18, 19, 20 ],
          schreierVector := [ -1, -2, -3, -4, -5, -6, -7, -8, -9, -10, -11, -12, -13, -14, -15, -16, -17, -18, -19, 
              -20 ] ), rec(
          adjacencies := [ [ 2, 20 ], [ 1, 3 ], [ 2, 4 ], [ 3, 5 ], [ 4, 6 ], [ 5, 7, 9 ], [ 6, 8 ], [ 7 ], [ 6 ], 
              [ 11 ], [ 10, 12 ], [ 11, 13, 15 ], [ 12, 14 ], [ 13 ], [ 12 ], [ 17 ], [ 16, 18 ], [ 17, 19 ], [ 18 ], 
              [ 1 ] ],
          autGroup := Group( [ (16,19)(17,18), (10,14)(11,13) ] ),
          forms := [ rec(
                  forms := [ [ "[2, 1, 8]" ] ],
                  h := 1152 ) ],
          group := Group( [ () ] ),
          h := [ 1152 ],
          info := rec(
              bipartite := true,
              distance_regular := false,
              girth := -1,
              pencils := [ [ 3, 2 ], [ 2, 10 ], [ 1, 8 ] ],
              regular := false,
              transitive := -1 ),
          isGraph := true,
          isSimple := true,
          names := [ 1, 2, 3, 4, 5, 6, 7, 8, 9, 10, 11, 12, 13, 14, 15, 16, 17, 18, 19, 20 ],
          order := 20,
          real := [ 1152 ],
          representatives := [ 1, 2, 3, 4, 5, 6, 7, 8, 9, 10, 11, 12, 13, 14, 15, 16, 17, 18, 19, 20 ],
          schreierVector := [ -1, -2, -3, -4, -5, -6, -7, -8, -9, -10, -11, -12, -13, -14, -15, -16, -17, -18, -19, 
              -20 ] ), rec(
          adjacencies := [ [ 2, 20 ], [ 1, 3 ], [ 2, 4 ], [ 3, 5 ], [ 4, 6 ], [ 5, 7, 9 ], [ 6, 8 ], [ 7 ], [ 6 ], 
              [ 11 ], [ 10, 12 ], [ 11, 13 ], [ 12, 14 ], [ 13, 15 ], [ 14, 16 ], [ 15, 17 ], [ 16 ], [ 19 ], [ 18 ], 
              [ 1 ] ],
          autGroup := Group( [ (18,19), (10,17)(11,16)(12,15)(13,14) ] ),
          forms := [ rec(
                  forms := [ [ "[6, 3, 6]" ] ],
                  h := 1178 ) ],
          group := Group( [ () ] ),
          h := [ 1178 ],
          info := rec(
              bipartite := true,
              distance_regular := false,
              girth := -1,
              pencils := [ [ 3, 1 ], [ 2, 12 ], [ 1, 7 ] ],
              regular := false,
              transitive := -1 ),
          isGraph := true,
          isSimple := true,
          names := [ 1, 2, 3, 4, 5, 6, 7, 8, 9, 10, 11, 12, 13, 14, 15, 16, 17, 18, 19, 20 ],
          order := 20,
          real := [  ],
          representatives := [ 1, 2, 3, 4, 5, 6, 7, 8, 9, 10, 11, 12, 13, 14, 15, 16, 17, 18, 19, 20 ],
          schreierVector := [ -1, -2, -3, -4, -5, -6, -7, -8, -9, -10, -11, -12, -13, -14, -15, -16, -17, -18, -19, 
              -20 ] ), rec(
          adjacencies := [ [ 2, 20 ], [ 1, 3 ], [ 2, 4 ], [ 3, 5 ], [ 4, 6 ], [ 5, 7, 9 ], [ 6, 8 ], [ 7 ], [ 6 ], 
              [ 14 ], [ 14 ], [ 13 ], [ 12, 14 ], [ 10, 11, 13 ], [ 19 ], [ 19 ], [ 18 ], [ 17, 19 ], [ 15, 16, 18 ], 
              [ 1 ] ],
          autGroup := Group( [ (15,16), (10,11), (10,15)(11,16)(12,17)(13,18)(14,19) ] ),
          forms := [ rec(
                  forms := [ [ "[4, 0, 4]" ] ],
                  h := 1180 ) ],
          group := Group( [ () ] ),
          h := [ 1180 ],
          info := rec(
              bipartite := true,
              distance_regular := false,
              girth := -1,
              pencils := [ [ 3, 3 ], [ 2, 8 ], [ 1, 9 ] ],
              regular := false,
              transitive := -1 ),
          isGraph := true,
          isSimple := true,
          names := [ 1, 2, 3, 4, 5, 6, 7, 8, 9, 10, 11, 12, 13, 14, 15, 16, 17, 18, 19, 20 ],
          order := 20,
          real := [  ],
          representatives := [ 1, 2, 3, 4, 5, 6, 7, 8, 9, 10, 11, 12, 13, 14, 15, 16, 17, 18, 19, 20 ],
          schreierVector := [ -1, -2, -3, -4, -5, -6, -7, -8, -9, -10, -11, -12, -13, -14, -15, -16, -17, -18, -19, 
              -20 ] ), rec(
          adjacencies := [ [ 2, 20 ], [ 1, 3 ], [ 2, 4 ], [ 3, 5 ], [ 4, 6 ], [ 5, 7, 9 ], [ 6, 8 ], [ 7 ], [ 6 ], 
              [ 11 ], [ 10, 12 ], [ 11, 13 ], [ 12, 14 ], [ 13, 15 ], [ 14 ], [ 17 ], [ 16, 18 ], [ 17, 19 ], [ 18 ], 
              [ 1 ] ],
          autGroup := Group( [ (16,19)(17,18), (10,15)(11,14)(12,13) ] ),
          forms := [ rec(
                  forms := [ [ "[2, 1, 18]" ] ],
                  h := 1202 ) ],
          group := Group( [ () ] ),
          h := [ 1202 ],
          info := rec(
              bipartite := true,
              distance_regular := false,
              girth := -1,
              pencils := [ [ 3, 1 ], [ 2, 12 ], [ 1, 7 ] ],
              regular := false,
              transitive := -1 ),
          isGraph := true,
          isSimple := true,
          names := [ 1, 2, 3, 4, 5, 6, 7, 8, 9, 10, 11, 12, 13, 14, 15, 16, 17, 18, 19, 20 ],
          order := 20,
          real := [ 1202 ],
          representatives := [ 1, 2, 3, 4, 5, 6, 7, 8, 9, 10, 11, 12, 13, 14, 15, 16, 17, 18, 19, 20 ],
          schreierVector := [ -1, -2, -3, -4, -5, -6, -7, -8, -9, -10, -11, -12, -13, -14, -15, -16, -17, -18, -19, 
              -20 ] ), rec(
          adjacencies := [ [ 2, 20 ], [ 1, 3 ], [ 2, 4 ], [ 3, 5 ], [ 4, 6 ], [ 5, 7, 9 ], [ 6, 8 ], [ 7 ], [ 6 ], 
              [ 11 ], [ 10, 12 ], [ 11, 13 ], [ 12, 14 ], [ 13, 15 ], [ 14 ], [ 17 ], [ 16 ], [ 19 ], [ 18 ], [ 1 ] ],
          autGroup := Group( [ (18,19), (16,17), (16,18)(17,19), (10,15)(11,14)(12,13) ] ),
          forms := [ rec(
                  forms := [ [ "[6, 3, 12]" ] ],
                  h := 1208 ) ],
          group := Group( [ () ] ),
          h := [ 1208 ],
          info := rec(
              bipartite := true,
              distance_regular := false,
              girth := -1,
              pencils := [ [ 3, 1 ], [ 2, 10 ], [ 1, 9 ] ],
              regular := false,
              transitive := -1 ),
          isGraph := true,
          isSimple := true,
          names := [ 1, 2, 3, 4, 5, 6, 7, 8, 9, 10, 11, 12, 13, 14, 15, 16, 17, 18, 19, 20 ],
          order := 20,
          real := [  ],
          representatives := [ 1, 2, 3, 4, 5, 6, 7, 8, 9, 10, 11, 12, 13, 14, 15, 16, 17, 18, 19, 20 ],
          schreierVector := [ -1, -2, -3, -4, -5, -6, -7, -8, -9, -10, -11, -12, -13, -14, -15, -16, -17, -18, -19, 
              -20 ] ) ],
  h := [ 4, 6, 8, 10, 12, 14, 16, 18, 20, 22, 24, 26, 28, 30, 32, 34, 36, 38, 40, 42, 44, 46, 48, 50, 52, 54, 56, 58, 
      60, 62, 64, 66, 68, 70, 72, 74, 76, 78, 80, 82, 84, 86, 88, 90, 92, 94, 96, 98, 100, 102, 104, 106, 108, 110, 
      112, 114, 116, 118, 120, 122, 124, 126, 128, 130, 132, 134, 136, 138, 140, 142, 144, 146, 148, 150, 152, 154, 
      156, 158, 160, 162, 164, 166, 168, 170, 172, 174, 176, 178, 180, 182, 184, 186, 188, 190, 192, 194, 196, 198, 
      200, 202, 204, 206, 208, 210, 212, 214, 216, 218, 220, 222, 224, 226, 228, 230, 232, 234, 236, 238, 240, 242, 
      244, 246, 248, 250, 252, 254, 256, 258, 260, 262, 264, 266, 268, 270, 272, 274, 276, 278, 280, 282, 284, 286, 
      288, 290, 292, 294, 296, 298, 300, 302, 304, 306, 308, 310, 312, 314, 316, 318, 320, 322, 324, 326, 328, 330, 
      332, 334, 336, 338, 340, 342, 344, 346, 348, 350, 352, 354, 356, 358, 360, 362, 364, 366, 368, 370, 372, 374, 
      376, 378, 380, 382, 384, 386, 388, 390, 392, 394, 396, 398, 400, 402, 404, 406, 408, 410, 412, 414, 416, 418, 
      420, 422, 424, 426, 428, 430, 432, 434, 436, 438, 440, 442, 444, 446, 448, 450, 452, 454, 456, 458, 460, 462, 
      464, 466, 468, 470, 472, 474, 476, 478, 480, 482, 484, 486, 488, 490, 492, 494, 496, 498, 500, 502, 504, 506, 
      508, 510, 512, 514, 516, 518, 520, 522, 524, 526, 528, 530, 532, 534, 536, 538, 540, 542, 544, 546, 548, 550, 
      552, 554, 556, 558, 560, 562, 564, 566, 568, 570, 572, 574, 576, 578, 580, 582, 584, 586, 588, 590, 592, 594, 
      596, 598, 600, 602, 604, 606, 608, 610, 612, 614, 616, 618, 638, 668, 680, 684, 740, 784, 788, 792, 1130, 1148, 
      1152, 1178, 1180, 1202, 1208 ],
  hh := [ rec(
          count := [ 20 ],
          h := 4,
          kept := 20,
          real := [ 20 ],
          wanted := 20 ), rec(
          count := [ 20 ],
          h := 6,
          kept := 20,
          real := [ 20 ],
          wanted := 20 ), rec(
          count := [ 20 ],
          h := 8,
          kept := 20,
          real := [ 20 ],
          wanted := 20 ), rec(
          count := [ 20 ],
          h := 10,
          kept := 20,
          real := [ 20 ],
          wanted := 20 ), rec(
          count := [ 20 ],
          h := 12,
          kept := 20,
          real := [ 20 ],
          wanted := 20 ), rec(
          count := [ 20 ],
          h := 14,
          kept := 20,
          real := [ 20 ],
          wanted := 20 ), rec(
          count := [ 20 ],
          h := 16,
          kept := 20,
          real := [ 20 ],
          wanted := 20 ), rec(
          count := [ 20 ],
          h := 18,
          kept := 20,
          real := [ 20 ],
          wanted := 20 ), rec(
          count := [ 20 ],
          h := 20,
          kept := 20,
          real := [ 20 ],
          wanted := 20 ), rec(
          count := [ 20 ],
          h := 22,
          kept := 20,
          real := [ 20 ],
          wanted := 20 ), rec(
          count := [ 20 ],
          h := 24,
          kept := 20,
          real := [ 20 ],
          wanted := 20 ), rec(
          count := [ 20 ],
          h := 26,
          kept := 20,
          real := [ 20 ],
          wanted := 20 ), rec(
          count := [ 20 ],
          h := 28,
          kept := 20,
          real := [ 20 ],
          wanted := 20 ), rec(
          count := [ 20 ],
          h := 30,
          kept := 20,
          real := [ 20 ],
          wanted := 20 ), rec(
          count := [ 20 ],
          h := 32,
          kept := 20,
          real := [ 20 ],
          wanted := 20 ), rec(
          count := [ 20 ],
          h := 34,
          kept := 20,
          real := [ 20 ],
          wanted := 20 ), rec(
          count := [ 20 ],
          h := 36,
          kept := 20,
          real := [ 20 ],
          wanted := 20 ), rec(
          count := [ 20 ],
          h := 38,
          kept := 20,
          real := [ 20 ],
          wanted := 20 ), rec(
          count := [ 20 ],
          h := 40,
          kept := 20,
          real := [ 20 ],
          wanted := 20 ), rec(
          count := [ 20 ],
          h := 42,
          kept := 20,
          real := [ 20 ],
          wanted := 20 ), rec(
          count := [ 20 ],
          h := 44,
          kept := 20,
          real := [ 20 ],
          wanted := 20 ), rec(
          count := [ 20 ],
          h := 46,
          kept := 20,
          real := [ 20 ],
          wanted := 20 ), rec(
          count := [ 20 ],
          h := 48,
          kept := 20,
          real := [ 20 ],
          wanted := 20 ), rec(
          count := [ 20 ],
          h := 50,
          kept := 20,
          real := [ 20 ],
          wanted := 20 ), rec(
          count := [ 20 ],
          h := 52,
          kept := 20,
          real := [ 20 ],
          wanted := 20 ), rec(
          count := [ 20 ],
          h := 54,
          kept := 20,
          real := [ 20 ],
          wanted := 20 ), rec(
          count := [ 20 ],
          h := 56,
          kept := 20,
          real := [ 20 ],
          wanted := 20 ), rec(
          count := [ 20 ],
          h := 58,
          kept := 20,
          real := [ 20 ],
          wanted := 20 ), rec(
          count := [ 20 ],
          h := 60,
          kept := 20,
          real := [ 20 ],
          wanted := 20 ), rec(
          count := [ 20 ],
          h := 62,
          kept := 20,
          real := [ 20 ],
          wanted := 20 ), rec(
          count := [ 20 ],
          h := 64,
          kept := 20,
          real := [ 20 ],
          wanted := 20 ), rec(
          count := [ 20 ],
          h := 66,
          kept := 20,
          real := [ 20 ],
          wanted := 20 ), rec(
          count := [ 20 ],
          h := 68,
          kept := 20,
          real := [ 20 ],
          wanted := 20 ), rec(
          count := [ 20 ],
          h := 70,
          kept := 20,
          real := [ 20 ],
          wanted := 20 ), rec(
          count := [ 20 ],
          h := 72,
          kept := 20,
          real := [ 20 ],
          wanted := 20 ), rec(
          count := [ 20 ],
          h := 74,
          kept := 20,
          real := [ 20 ],
          wanted := 20 ), rec(
          count := [ 20 ],
          h := 76,
          kept := 20,
          real := [ 20 ],
          wanted := 20 ), rec(
          count := [ 20 ],
          h := 78,
          kept := 20,
          real := [ 20 ],
          wanted := 20 ), rec(
          count := [ 20 ],
          h := 80,
          kept := 20,
          real := [ 20 ],
          wanted := 20 ), rec(
          count := [ 20 ],
          h := 82,
          kept := 20,
          real := [ 20 ],
          wanted := 20 ), rec(
          count := [ 20 ],
          h := 84,
          kept := 20,
          real := [ 20 ],
          wanted := 20 ), rec(
          count := [ 20 ],
          h := 86,
          kept := 20,
          real := [ 20 ],
          wanted := 20 ), rec(
          count := [ 20 ],
          h := 88,
          kept := 20,
          real := [ 20 ],
          wanted := 20 ), rec(
          count := [ 20 ],
          h := 90,
          kept := 20,
          real := [ 20 ],
          wanted := 20 ), rec(
          count := [ 20 ],
          h := 92,
          kept := 20,
          real := [ 20 ],
          wanted := 20 ), rec(
          count := [ 20 ],
          h := 94,
          kept := 20,
          real := [ 20 ],
          wanted := 20 ), rec(
          count := [ 20 ],
          h := 96,
          kept := 20,
          real := [ 20 ],
          wanted := 20 ), rec(
          count := [ 20 ],
          h := 98,
          kept := 20,
          real := [ 20 ],
          wanted := 20 ), rec(
          count := [ 20 ],
          h := 100,
          kept := 20,
          real := [ 20 ],
          wanted := 20 ), rec(
          count := [ 20 ],
          h := 102,
          kept := 20,
          real := [ 20 ],
          wanted := 20 ), rec(
          count := [ 20 ],
          h := 104,
          kept := 20,
          real := [ 20 ],
          wanted := 20 ), rec(
          count := [ 20 ],
          h := 106,
          kept := 20,
          real := [ 20 ],
          wanted := 20 ), rec(
          count := [ 20 ],
          h := 108,
          kept := 20,
          real := [ 20 ],
          wanted := 20 ), rec(
          count := [ 20 ],
          h := 110,
          kept := 20,
          real := [ 20 ],
          wanted := 20 ), rec(
          count := [ 20 ],
          h := 112,
          kept := 20,
          real := [ 20 ],
          wanted := 20 ), rec(
          count := [ 20 ],
          h := 114,
          kept := 20,
          real := [ 20 ],
          wanted := 20 ), rec(
          count := [ 20 ],
          h := 116,
          kept := 20,
          real := [ 20 ],
          wanted := 20 ), rec(
          count := [ 20 ],
          h := 118,
          kept := 20,
          real := [ 20 ],
          wanted := 20 ), rec(
          count := [ 20 ],
          h := 120,
          kept := 20,
          real := [ 20 ],
          wanted := 20 ), rec(
          count := [ 20 ],
          h := 122,
          kept := 20,
          real := [ 20 ],
          wanted := 20 ), rec(
          count := [ 20 ],
          h := 124,
          kept := 20,
          real := [ 20 ],
          wanted := 20 ), rec(
          count := [ 20 ],
          h := 126,
          kept := 20,
          real := [ 20 ],
          wanted := 20 ), rec(
          count := [ 20 ],
          h := 128,
          kept := 20,
          real := [ 20 ],
          wanted := 20 ), rec(
          count := [ 20 ],
          h := 130,
          kept := 20,
          real := [ 20 ],
          wanted := 20 ), rec(
          count := [ 20 ],
          h := 132,
          kept := 20,
          real := [ 20 ],
          wanted := 20 ), rec(
          count := [ 20 ],
          h := 134,
          kept := 20,
          real := [ 20 ],
          wanted := 20 ), rec(
          count := [ 20 ],
          h := 136,
          kept := 20,
          real := [ 20 ],
          wanted := 20 ), rec(
          count := [ 20 ],
          h := 138,
          kept := 20,
          real := [ 20 ],
          wanted := 20 ), rec(
          count := [ 20 ],
          h := 140,
          kept := 20,
          real := [ 20 ],
          wanted := 20 ), rec(
          count := [ 20 ],
          h := 142,
          kept := 20,
          real := [ 20 ],
          wanted := 20 ), rec(
          count := [ 20 ],
          h := 144,
          kept := 20,
          real := [ 20 ],
          wanted := 20 ), rec(
          count := [ 20 ],
          h := 146,
          kept := 20,
          real := [ 20 ],
          wanted := 20 ), rec(
          count := [ 20 ],
          h := 148,
          kept := 20,
          real := [ 20 ],
          wanted := 20 ), rec(
          count := [ 20 ],
          h := 150,
          kept := 20,
          real := [ 20 ],
          wanted := 20 ), rec(
          count := [ 20 ],
          h := 152,
          kept := 20,
          real := [ 20 ],
          wanted := 20 ), rec(
          count := [ 20 ],
          h := 154,
          kept := 20,
          real := [ 20 ],
          wanted := 20 ), rec(
          count := [ 20 ],
          h := 156,
          kept := 20,
          real := [ 20 ],
          wanted := 20 ), rec(
          count := [ 20 ],
          h := 158,
          kept := 20,
          real := [ 20 ],
          wanted := 20 ), rec(
          count := [ 20 ],
          h := 160,
          kept := 20,
          real := [ 20 ],
          wanted := 20 ), rec(
          count := [ 20 ],
          h := 162,
          kept := 20,
          real := [ 20 ],
          wanted := 20 ), rec(
          count := [ 20 ],
          h := 164,
          kept := 20,
          real := [ 20 ],
          wanted := 20 ), rec(
          count := [ 20 ],
          h := 166,
          kept := 20,
          real := [ 20 ],
          wanted := 20 ), rec(
          count := [ 20 ],
          h := 168,
          kept := 20,
          real := [ 20 ],
          wanted := 20 ), rec(
          count := [ 20 ],
          h := 170,
          kept := 20,
          real := [ 20 ],
          wanted := 20 ), rec(
          count := [ 20 ],
          h := 172,
          kept := 20,
          real := [ 20 ],
          wanted := 20 ), rec(
          count := [ 20 ],
          h := 174,
          kept := 20,
          real := [ 20 ],
          wanted := 20 ), rec(
          count := [ 20 ],
          h := 176,
          kept := 20,
          real := [ 20 ],
          wanted := 20 ), rec(
          count := [ 20 ],
          h := 178,
          kept := 20,
          real := [ 20 ],
          wanted := 20 ), rec(
          count := [ 20 ],
          h := 180,
          kept := 20,
          real := [ 20 ],
          wanted := 20 ), rec(
          count := [ 20 ],
          h := 182,
          kept := 20,
          real := [ 20 ],
          wanted := 20 ), rec(
          count := [ 20 ],
          h := 184,
          kept := 20,
          real := [ 20 ],
          wanted := 20 ), rec(
          count := [ 20 ],
          h := 186,
          kept := 20,
          real := [ 20 ],
          wanted := 20 ), rec(
          count := [ 20 ],
          h := 188,
          kept := 20,
          real := [ 20 ],
          wanted := 20 ), rec(
          count := [ 20 ],
          h := 190,
          kept := 20,
          real := [ 20 ],
          wanted := 20 ), rec(
          count := [ 20 ],
          h := 192,
          kept := 20,
          real := [ 20 ],
          wanted := 20 ), rec(
          count := [ 20 ],
          h := 194,
          kept := 20,
          real := [ 20 ],
          wanted := 20 ), rec(
          count := [ 20 ],
          h := 196,
          kept := 20,
          real := [ 20 ],
          wanted := 20 ), rec(
          count := [ 20 ],
          h := 198,
          kept := 20,
          real := [ 20 ],
          wanted := 20 ), rec(
          count := [ 20 ],
          h := 200,
          kept := 20,
          real := [ 20 ],
          wanted := 20 ), rec(
          count := [ 20 ],
          h := 202,
          kept := 20,
          real := [ 20 ],
          wanted := 20 ), rec(
          count := [ 20 ],
          h := 204,
          kept := 20,
          real := [ 20 ],
          wanted := 20 ), rec(
          count := [ 20 ],
          h := 206,
          kept := 20,
          real := [ 20 ],
          wanted := 20 ), rec(
          count := [ 20 ],
          h := 208,
          kept := 20,
          real := [ 20 ],
          wanted := 20 ), rec(
          count := [ 20 ],
          h := 210,
          kept := 20,
          real := [ 20 ],
          wanted := 20 ), rec(
          count := [ 20 ],
          h := 212,
          kept := 20,
          real := [ 20 ],
          wanted := 20 ), rec(
          count := [ 20 ],
          h := 214,
          kept := 20,
          real := [ 20 ],
          wanted := 20 ), rec(
          count := [ 20 ],
          h := 216,
          kept := 20,
          real := [ 20 ],
          wanted := 20 ), rec(
          count := [ 20 ],
          h := 218,
          kept := 20,
          real := [ 20 ],
          wanted := 20 ), rec(
          count := [ 20 ],
          h := 220,
          kept := 20,
          real := [ 20 ],
          wanted := 20 ), rec(
          count := [ 20 ],
          h := 222,
          kept := 20,
          real := [ 20 ],
          wanted := 20 ), rec(
          count := [ 20 ],
          h := 224,
          kept := 20,
          real := [ 20 ],
          wanted := 20 ), rec(
          count := [ 20 ],
          h := 226,
          kept := 20,
          real := [ 20 ],
          wanted := 20 ), rec(
          count := [ 20 ],
          h := 228,
          kept := 20,
          real := [ 20 ],
          wanted := 20 ), rec(
          count := [ 20 ],
          h := 230,
          kept := 20,
          real := [ 20 ],
          wanted := 20 ), rec(
          count := [ 20 ],
          h := 232,
          kept := 20,
          real := [ 20 ],
          wanted := 20 ), rec(
          count := [ 20 ],
          h := 234,
          kept := 20,
          real := [ 20 ],
          wanted := 20 ), rec(
          count := [ 20 ],
          h := 236,
          kept := 20,
          real := [ 20 ],
          wanted := 20 ), rec(
          count := [ 20 ],
          h := 238,
          kept := 20,
          real := [ 20 ],
          wanted := 20 ), rec(
          count := [ 20 ],
          h := 240,
          kept := 20,
          real := [ 20 ],
          wanted := 20 ), rec(
          count := [ 20 ],
          h := 242,
          kept := 20,
          real := [ 20 ],
          wanted := 20 ), rec(
          count := [ 20 ],
          h := 244,
          kept := 20,
          real := [ 20 ],
          wanted := 20 ), rec(
          count := [ 20 ],
          h := 246,
          kept := 20,
          real := [ 20 ],
          wanted := 20 ), rec(
          count := [ 20 ],
          h := 248,
          kept := 20,
          real := [ 20 ],
          wanted := 20 ), rec(
          count := [ 20 ],
          h := 250,
          kept := 20,
          real := [ 20 ],
          wanted := 20 ), rec(
          count := [ 20 ],
          h := 252,
          kept := 20,
          real := [ 20 ],
          wanted := 20 ), rec(
          count := [ 20 ],
          h := 254,
          kept := 20,
          real := [ 20 ],
          wanted := 20 ), rec(
          count := [ 20 ],
          h := 256,
          kept := 20,
          real := [ 20 ],
          wanted := 20 ), rec(
          count := [ 20 ],
          h := 258,
          kept := 20,
          real := [ 20 ],
          wanted := 20 ), rec(
          count := [ 20 ],
          h := 260,
          kept := 20,
          real := [ 20 ],
          wanted := 20 ), rec(
          count := [ 20 ],
          h := 262,
          kept := 20,
          real := [ 20 ],
          wanted := 20 ), rec(
          count := [ 20 ],
          h := 264,
          kept := 20,
          real := [ 20 ],
          wanted := 20 ), rec(
          count := [ 20 ],
          h := 266,
          kept := 20,
          real := [ 20 ],
          wanted := 20 ), rec(
          count := [ 20 ],
          h := 268,
          kept := 20,
          real := [ 20 ],
          wanted := 20 ), rec(
          count := [ 20 ],
          h := 270,
          kept := 20,
          real := [ 20 ],
          wanted := 20 ), rec(
          count := [ 20 ],
          h := 272,
          kept := 20,
          real := [ 20 ],
          wanted := 20 ), rec(
          count := [ 20 ],
          h := 274,
          kept := 20,
          real := [ 20 ],
          wanted := 20 ), rec(
          count := [ 20 ],
          h := 276,
          kept := 20,
          real := [ 20 ],
          wanted := 20 ), rec(
          count := [ 20 ],
          h := 278,
          kept := 20,
          real := [ 20 ],
          wanted := 20 ), rec(
          count := [ 20 ],
          h := 280,
          kept := 20,
          real := [ 20 ],
          wanted := 20 ), rec(
          count := [ 20 ],
          h := 282,
          kept := 20,
          real := [ 20 ],
          wanted := 20 ), rec(
          count := [ 20 ],
          h := 284,
          kept := 20,
          real := [ 20 ],
          wanted := 20 ), rec(
          count := [ 20 ],
          h := 286,
          kept := 20,
          real := [ 20 ],
          wanted := 20 ), rec(
          count := [ 20 ],
          h := 288,
          kept := 20,
          real := [ 20 ],
          wanted := 20 ), rec(
          count := [ 20 ],
          h := 290,
          kept := 20,
          real := [ 20 ],
          wanted := 20 ), rec(
          count := [ 20 ],
          h := 292,
          kept := 20,
          real := [ 20 ],
          wanted := 20 ), rec(
          count := [ 20 ],
          h := 294,
          kept := 20,
          real := [ 20 ],
          wanted := 20 ), rec(
          count := [ 20 ],
          h := 296,
          kept := 20,
          real := [ 20 ],
          wanted := 20 ), rec(
          count := [ 20 ],
          h := 298,
          kept := 20,
          real := [ 20 ],
          wanted := 20 ), rec(
          count := [ 20 ],
          h := 300,
          kept := 20,
          real := [ 20 ],
          wanted := 20 ), rec(
          count := [ 20 ],
          h := 302,
          kept := 20,
          real := [ 20 ],
          wanted := 20 ), rec(
          count := [ 20 ],
          h := 304,
          kept := 20,
          real := [ 20 ],
          wanted := 20 ), rec(
          count := [ 20 ],
          h := 306,
          kept := 20,
          real := [ 20 ],
          wanted := 20 ), rec(
          count := [ 20 ],
          h := 308,
          kept := 20,
          real := [ 20 ],
          wanted := 20 ), rec(
          count := [ 20 ],
          h := 310,
          kept := 20,
          real := [ 20 ],
          wanted := 20 ), rec(
          count := [ 20 ],
          h := 312,
          kept := 20,
          real := [ 20 ],
          wanted := 20 ), rec(
          count := [ 20 ],
          h := 314,
          kept := 20,
          real := [ 20 ],
          wanted := 20 ), rec(
          count := [ 20 ],
          h := 316,
          kept := 20,
          real := [ 20 ],
          wanted := 20 ), rec(
          count := [ 20 ],
          h := 318,
          kept := 20,
          real := [ 20 ],
          wanted := 20 ), rec(
          count := [ 20 ],
          h := 320,
          kept := 20,
          real := [ 20 ],
          wanted := 20 ), rec(
          count := [ 20 ],
          h := 322,
          kept := 20,
          real := [ 20 ],
          wanted := 20 ), rec(
          count := [ 20 ],
          h := 324,
          kept := 20,
          real := [ 20 ],
          wanted := 20 ), rec(
          count := [ 20 ],
          h := 326,
          kept := 20,
          real := [ 20 ],
          wanted := 20 ), rec(
          count := [ 20 ],
          h := 328,
          kept := 20,
          real := [ 20 ],
          wanted := 20 ), rec(
          count := [ 20 ],
          h := 330,
          kept := 20,
          real := [ 20 ],
          wanted := 20 ), rec(
          count := [ 20 ],
          h := 332,
          kept := 20,
          real := [ 20 ],
          wanted := 20 ), rec(
          count := [ 20 ],
          h := 334,
          kept := 20,
          real := [ 20 ],
          wanted := 20 ), rec(
          count := [ 20 ],
          h := 336,
          kept := 20,
          real := [ 20 ],
          wanted := 20 ), rec(
          count := [ 20 ],
          h := 338,
          kept := 20,
          real := [ 20 ],
          wanted := 20 ), rec(
          count := [ 20 ],
          h := 340,
          kept := 20,
          real := [ 20 ],
          wanted := 20 ), rec(
          count := [ 20 ],
          h := 342,
          kept := 20,
          real := [ 20 ],
          wanted := 20 ), rec(
          count := [ 20 ],
          h := 344,
          kept := 20,
          real := [ 20 ],
          wanted := 20 ), rec(
          count := [ 20 ],
          h := 346,
          kept := 20,
          real := [ 20 ],
          wanted := 20 ), rec(
          count := [ 20 ],
          h := 348,
          kept := 20,
          real := [ 20 ],
          wanted := 20 ), rec(
          count := [ 20 ],
          h := 350,
          kept := 20,
          real := [ 20 ],
          wanted := 20 ), rec(
          count := [ 20 ],
          h := 352,
          kept := 20,
          real := [ 20 ],
          wanted := 20 ), rec(
          count := [ 20 ],
          h := 354,
          kept := 20,
          real := [ 20 ],
          wanted := 20 ), rec(
          count := [ 20 ],
          h := 356,
          kept := 20,
          real := [ 20 ],
          wanted := 20 ), rec(
          count := [ 20 ],
          h := 358,
          kept := 20,
          real := [ 20 ],
          wanted := 20 ), rec(
          count := [ 20 ],
          h := 360,
          kept := 20,
          real := [ 20 ],
          wanted := 20 ), rec(
          count := [ 20 ],
          h := 362,
          kept := 20,
          real := [ 20 ],
          wanted := 20 ), rec(
          count := [ 20 ],
          h := 364,
          kept := 20,
          real := [ 20 ],
          wanted := 20 ), rec(
          count := [ 20 ],
          h := 366,
          kept := 20,
          real := [ 20 ],
          wanted := 20 ), rec(
          count := [ 20 ],
          h := 368,
          kept := 20,
          real := [ 20 ],
          wanted := 20 ), rec(
          count := [ 20 ],
          h := 370,
          kept := 20,
          real := [ 20 ],
          wanted := 20 ), rec(
          count := [ 20 ],
          h := 372,
          kept := 20,
          real := [ 20 ],
          wanted := 20 ), rec(
          count := [ 20 ],
          h := 374,
          kept := 20,
          real := [ 20 ],
          wanted := 20 ), rec(
          count := [ 20 ],
          h := 376,
          kept := 20,
          real := [ 20 ],
          wanted := 20 ), rec(
          count := [ 20 ],
          h := 378,
          kept := 20,
          real := [ 20 ],
          wanted := 20 ), rec(
          count := [ 20 ],
          h := 380,
          kept := 20,
          real := [ 20 ],
          wanted := 20 ), rec(
          count := [ 20 ],
          h := 382,
          kept := 20,
          real := [ 20 ],
          wanted := 20 ), rec(
          count := [ 20 ],
          h := 384,
          kept := 20,
          real := [ 20 ],
          wanted := 20 ), rec(
          count := [ 20 ],
          h := 386,
          kept := 20,
          real := [ 20 ],
          wanted := 20 ), rec(
          count := [ 20 ],
          h := 388,
          kept := 20,
          real := [ 20 ],
          wanted := 20 ), rec(
          count := [ 20 ],
          h := 390,
          kept := 20,
          real := [ 20 ],
          wanted := 20 ), rec(
          count := [ 20 ],
          h := 392,
          kept := 20,
          real := [ 20 ],
          wanted := 20 ), rec(
          count := [ 20 ],
          h := 394,
          kept := 20,
          real := [ 20 ],
          wanted := 20 ), rec(
          count := [ 20 ],
          h := 396,
          kept := 20,
          real := [ 20 ],
          wanted := 20 ), rec(
          count := [ 20 ],
          h := 398,
          kept := 20,
          real := [ 20 ],
          wanted := 20 ), rec(
          count := [ 20 ],
          h := 400,
          kept := 20,
          real := [ 20 ],
          wanted := 20 ), rec(
          count := [ 20 ],
          h := 402,
          kept := 20,
          real := [ 20 ],
          wanted := 20 ), rec(
          count := [ 20 ],
          h := 404,
          kept := 20,
          real := [ 20 ],
          wanted := 20 ), rec(
          count := [ 20 ],
          h := 406,
          kept := 20,
          real := [ 20 ],
          wanted := 20 ), rec(
          count := [ 20 ],
          h := 408,
          kept := 20,
          real := [ 20 ],
          wanted := 20 ), rec(
          count := [ 20 ],
          h := 410,
          kept := 20,
          real := [ 20 ],
          wanted := 20 ), rec(
          count := [ 20 ],
          h := 412,
          kept := 20,
          real := [ 20 ],
          wanted := 20 ), rec(
          count := [ 20 ],
          h := 414,
          kept := 20,
          real := [ 20 ],
          wanted := 20 ), rec(
          count := [ 20 ],
          h := 416,
          kept := 20,
          real := [ 20 ],
          wanted := 20 ), rec(
          count := [ 20 ],
          h := 418,
          kept := 20,
          real := [ 20 ],
          wanted := 20 ), rec(
          count := [ 20 ],
          h := 420,
          kept := 20,
          real := [ 20 ],
          wanted := 20 ), rec(
          count := [ 20 ],
          h := 422,
          kept := 20,
          real := [ 20 ],
          wanted := 20 ), rec(
          count := [ 20 ],
          h := 424,
          kept := 20,
          real := [ 20 ],
          wanted := 20 ), rec(
          count := [ 20 ],
          h := 426,
          kept := 20,
          real := [ 20 ],
          wanted := 20 ), rec(
          count := [ 20 ],
          h := 428,
          kept := 20,
          real := [ 20 ],
          wanted := 20 ), rec(
          count := [ 20 ],
          h := 430,
          kept := 20,
          real := [ 20 ],
          wanted := 20 ), rec(
          count := [ 20 ],
          h := 432,
          kept := 20,
          real := [ 20 ],
          wanted := 20 ), rec(
          count := [ 20 ],
          h := 434,
          kept := 20,
          real := [ 20 ],
          wanted := 20 ), rec(
          count := [ 20 ],
          h := 436,
          kept := 20,
          real := [ 20 ],
          wanted := 20 ), rec(
          count := [ 20 ],
          h := 438,
          kept := 20,
          real := [ 20 ],
          wanted := 20 ), rec(
          count := [ 20 ],
          h := 440,
          kept := 20,
          real := [ 20 ],
          wanted := 20 ), rec(
          count := [ 20 ],
          h := 442,
          kept := 20,
          real := [ 20 ],
          wanted := 20 ), rec(
          count := [ 20 ],
          h := 444,
          kept := 20,
          real := [ 20 ],
          wanted := 20 ), rec(
          count := [ 20 ],
          h := 446,
          kept := 20,
          real := [ 20 ],
          wanted := 20 ), rec(
          count := [ 20 ],
          h := 448,
          kept := 20,
          real := [ 20 ],
          wanted := 20 ), rec(
          count := [ 20 ],
          h := 450,
          kept := 20,
          real := [ 20 ],
          wanted := 20 ), rec(
          count := [ 20 ],
          h := 452,
          kept := 20,
          real := [ 20 ],
          wanted := 20 ), rec(
          count := [ 20 ],
          h := 454,
          kept := 20,
          real := [ 20 ],
          wanted := 20 ), rec(
          count := [ 20 ],
          h := 456,
          kept := 20,
          real := [ 20 ],
          wanted := 20 ), rec(
          count := [ 20 ],
          h := 458,
          kept := 20,
          real := [ 20 ],
          wanted := 20 ), rec(
          count := [ 20 ],
          h := 460,
          kept := 20,
          real := [ 20 ],
          wanted := 20 ), rec(
          count := [ 20 ],
          h := 462,
          kept := 20,
          real := [ 20 ],
          wanted := 20 ), rec(
          count := [ 20 ],
          h := 464,
          kept := 20,
          real := [ 20 ],
          wanted := 20 ), rec(
          count := [ 20 ],
          h := 466,
          kept := 20,
          real := [ 20 ],
          wanted := 20 ), rec(
          count := [ 20 ],
          h := 468,
          kept := 20,
          real := [ 20 ],
          wanted := 20 ), rec(
          count := [ 20 ],
          h := 470,
          kept := 20,
          real := [ 20 ],
          wanted := 20 ), rec(
          count := [ 20 ],
          h := 472,
          kept := 20,
          real := [ 20 ],
          wanted := 20 ), rec(
          count := [ 20 ],
          h := 474,
          kept := 20,
          real := [ 20 ],
          wanted := 20 ), rec(
          count := [ 20 ],
          h := 476,
          kept := 20,
          real := [ 20 ],
          wanted := 20 ), rec(
          count := [ 20 ],
          h := 478,
          kept := 20,
          real := [ 20 ],
          wanted := 20 ), rec(
          count := [ 20 ],
          h := 480,
          kept := 20,
          real := [ 20 ],
          wanted := 20 ), rec(
          count := [ 20 ],
          h := 482,
          kept := 20,
          real := [ 20 ],
          wanted := 20 ), rec(
          count := [ 20 ],
          h := 484,
          kept := 20,
          real := [ 20 ],
          wanted := 20 ), rec(
          count := [ 20 ],
          h := 486,
          kept := 20,
          real := [ 20 ],
          wanted := 20 ), rec(
          count := [ 20 ],
          h := 488,
          kept := 20,
          real := [ 20 ],
          wanted := 20 ), rec(
          count := [ 20 ],
          h := 490,
          kept := 20,
          real := [ 20 ],
          wanted := 20 ), rec(
          count := [ 20 ],
          h := 492,
          kept := 20,
          real := [ 20 ],
          wanted := 20 ), rec(
          count := [ 20 ],
          h := 494,
          kept := 20,
          real := [ 20 ],
          wanted := 20 ), rec(
          count := [ 20 ],
          h := 496,
          kept := 20,
          real := [ 20 ],
          wanted := 20 ), rec(
          count := [ 20 ],
          h := 498,
          kept := 20,
          real := [ 20 ],
          wanted := 20 ), rec(
          count := [ 20 ],
          h := 500,
          kept := 20,
          real := [ 20 ],
          wanted := 20 ), rec(
          count := [ 20 ],
          h := 502,
          kept := 20,
          real := [ 20 ],
          wanted := 20 ), rec(
          count := [ 20 ],
          h := 504,
          kept := 20,
          real := [ 20 ],
          wanted := 20 ), rec(
          count := [ 20 ],
          h := 506,
          kept := 20,
          real := [ 20 ],
          wanted := 20 ), rec(
          count := [ 20 ],
          h := 508,
          kept := 20,
          real := [ 20 ],
          wanted := 20 ), rec(
          count := [ 20 ],
          h := 510,
          kept := 20,
          real := [ 20 ],
          wanted := 20 ), rec(
          count := [ 20 ],
          h := 512,
          kept := 20,
          real := [ 20 ],
          wanted := 20 ), rec(
          count := [ 20 ],
          h := 514,
          kept := 20,
          real := [ 20 ],
          wanted := 20 ), rec(
          count := [ 20 ],
          h := 516,
          kept := 20,
          real := [ 20 ],
          wanted := 20 ), rec(
          count := [ 20 ],
          h := 518,
          kept := 20,
          real := [ 20 ],
          wanted := 20 ), rec(
          count := [ 20 ],
          h := 520,
          kept := 20,
          real := [ 20 ],
          wanted := 20 ), rec(
          count := [ 20 ],
          h := 522,
          kept := 20,
          real := [ 20 ],
          wanted := 20 ), rec(
          count := [ 20 ],
          h := 524,
          kept := 20,
          real := [ 20 ],
          wanted := 20 ), rec(
          count := [ 20 ],
          h := 526,
          kept := 20,
          real := [ 20 ],
          wanted := 20 ), rec(
          count := [ 20 ],
          h := 528,
          kept := 20,
          real := [ 20 ],
          wanted := 20 ), rec(
          count := [ 20 ],
          h := 530,
          kept := 20,
          real := [ 20 ],
          wanted := 20 ), rec(
          count := [ 20 ],
          h := 532,
          kept := 20,
          real := [ 20 ],
          wanted := 20 ), rec(
          count := [ 20 ],
          h := 534,
          kept := 20,
          real := [ 20 ],
          wanted := 20 ), rec(
          count := [ 20 ],
          h := 536,
          kept := 20,
          real := [ 20 ],
          wanted := 20 ), rec(
          count := [ 20 ],
          h := 538,
          kept := 20,
          real := [ 20 ],
          wanted := 20 ), rec(
          count := [ 20 ],
          h := 540,
          kept := 20,
          real := [ 20 ],
          wanted := 20 ), rec(
          count := [ 20 ],
          h := 542,
          kept := 20,
          real := [ 20 ],
          wanted := 20 ), rec(
          count := [ 20 ],
          h := 544,
          kept := 20,
          real := [ 20 ],
          wanted := 20 ), rec(
          count := [ 20 ],
          h := 546,
          kept := 20,
          real := [ 20 ],
          wanted := 20 ), rec(
          count := [ 20 ],
          h := 548,
          kept := 20,
          real := [ 20 ],
          wanted := 20 ), rec(
          count := [ 20 ],
          h := 550,
          kept := 20,
          real := [ 20 ],
          wanted := 20 ), rec(
          count := [ 20 ],
          h := 552,
          kept := 20,
          real := [ 20 ],
          wanted := 20 ), rec(
          count := [ 20 ],
          h := 554,
          kept := 20,
          real := [ 20 ],
          wanted := 20 ), rec(
          count := [ 20 ],
          h := 556,
          kept := 20,
          real := [ 20 ],
          wanted := 20 ), rec(
          count := [ 20 ],
          h := 558,
          kept := 20,
          real := [ 20 ],
          wanted := 20 ), rec(
          count := [ 20 ],
          h := 560,
          kept := 20,
          real := [ 20 ],
          wanted := 20 ), rec(
          count := [ 20 ],
          h := 562,
          kept := 20,
          real := [ 20 ],
          wanted := 20 ), rec(
          count := [ 20 ],
          h := 564,
          kept := 20,
          real := [ 20 ],
          wanted := 20 ), rec(
          count := [ 20 ],
          h := 566,
          kept := 20,
          real := [ 20 ],
          wanted := 20 ), rec(
          count := [ 20 ],
          h := 568,
          kept := 20,
          real := [ 20 ],
          wanted := 20 ), rec(
          count := [ 20 ],
          h := 570,
          kept := 20,
          real := [ 20 ],
          wanted := 20 ), rec(
          count := [ 20 ],
          h := 572,
          kept := 20,
          real := [ 20 ],
          wanted := 20 ), rec(
          count := [ 20 ],
          h := 574,
          kept := 20,
          real := [ 20 ],
          wanted := 20 ), rec(
          count := [ 20 ],
          h := 576,
          kept := 20,
          real := [ 20 ],
          wanted := 20 ), rec(
          count := [ 20 ],
          h := 578,
          kept := 20,
          real := [ 20 ],
          wanted := 20 ), rec(
          count := [ 20 ],
          h := 580,
          kept := 20,
          real := [ 20 ],
          wanted := 20 ), rec(
          count := [ 20 ],
          h := 582,
          kept := 20,
          real := [ 20 ],
          wanted := 20 ), rec(
          count := [ 20 ],
          h := 584,
          kept := 20,
          real := [ 20 ],
          wanted := 20 ), rec(
          count := [ 20 ],
          h := 586,
          kept := 20,
          real := [ 20 ],
          wanted := 20 ), rec(
          count := [ 20 ],
          h := 588,
          kept := 20,
          real := [ 20 ],
          wanted := 20 ), rec(
          count := [ 20 ],
          h := 590,
          kept := 20,
          real := [ 20 ],
          wanted := 20 ), rec(
          count := [ 20 ],
          h := 592,
          kept := 20,
          real := [ 20 ],
          wanted := 20 ), rec(
          count := [ 20 ],
          h := 594,
          kept := 20,
          real := [ 20 ],
          wanted := 20 ), rec(
          count := [ 20 ],
          h := 596,
          kept := 20,
          real := [ 20 ],
          wanted := 20 ), rec(
          count := [ 20 ],
          h := 598,
          kept := 20,
          real := [ 20 ],
          wanted := 20 ), rec(
          count := [ 20 ],
          h := 600,
          kept := 20,
          real := [ 20 ],
          wanted := 20 ), rec(
          count := [ 20 ],
          h := 602,
          kept := 20,
          real := [ 20 ],
          wanted := 20 ), rec(
          count := [ 20 ],
          h := 604,
          kept := 20,
          real := [ 20 ],
          wanted := 20 ), rec(
          count := [ 20 ],
          h := 606,
          kept := 20,
          real := [ 20 ],
          wanted := 20 ), rec(
          count := [ 20 ],
          h := 608,
          kept := 20,
          real := [ 20 ],
          wanted := 20 ), rec(
          count := [ 20 ],
          h := 610,
          kept := 20,
          real := [ 20 ],
          wanted := 20 ), rec(
          count := [ 20 ],
          h := 612,
          kept := 20,
          real := [ 20 ],
          wanted := 20 ), rec(
          count := [ 20 ],
          h := 614,
          kept := 20,
          real := [ 20 ],
          wanted := 20 ), rec(
          count := [ 20 ],
          h := 616,
          kept := 20,
          real := [ 20 ],
          wanted := 20 ), rec(
          count := [ 21 ],
          h := 618,
          kept := 20,
          real := [ 21 ],
          wanted := 20 ), rec(
          count := [ 20 ],
          h := 638,
          kept := 20,
          real := [  ],
          wanted := 20 ), rec(
          count := [ 20 ],
          h := 668,
          kept := 20,
          real := [  ],
          wanted := 20 ), rec(
          count := [ 20 ],
          h := 680,
          kept := 20,
          real := [  ],
          wanted := 20 ), rec(
          count := [ 20 ],
          h := 684,
          kept := 20,
          real := [ 20 ],
          wanted := 20 ), rec(
          count := [ 20 ],
          h := 740,
          kept := 20,
          real := [  ],
          wanted := 20 ), rec(
          count := [ 20 ],
          h := 784,
          kept := 20,
          real := [  ],
          wanted := 20 ), rec(
          count := [ 20 ],
          h := 788,
          kept := 20,
          real := [  ],
          wanted := 20 ), rec(
          count := [ 20 ],
          h := 792,
          kept := 20,
          real := [ 20 ],
          wanted := 20 ), rec(
          count := [ 20 ],
          h := 1130,
          kept := 20,
          real := [ 20 ],
          wanted := 20 ), rec(
          count := [ 20 ],
          h := 1148,
          kept := 20,
          real := [  ],
          wanted := 20 ), rec(
          count := [ 20 ],
          h := 1152,
          kept := 20,
          real := [ 20 ],
          wanted := 20 ), rec(
          count := [ 20 ],
          h := 1178,
          kept := 20,
          real := [  ],
          wanted := 20 ), rec(
          count := [ 20 ],
          h := 1180,
          kept := 20,
          real := [  ],
          wanted := 20 ), rec(
          count := [ 20 ],
          h := 1202,
          kept := 20,
          real := [ 20 ],
          wanted := 20 ), rec(
          count := [ 20 ],
          h := 1208,
          kept := 20,
          real := [  ],
          wanted := 20 ) ] );

